I usually use a 4″ wallpaper razor scraper and/or utility knife. These will not scratch porcelain, but they may mark it. If so, clean it off with SoftScrub and a potscrubber sponge.

I hear there are caulk remover chemicals but I have never used them and have not heard much praise for them.