Try Easy-Off oven cleaner. It's made to clean heat-enhanced nastiness off of porcelain without harm to the finish.
Don't ask me how I know.

Mr. Frith is right about the impossibility of removing some kinds of potential damage.

Last edited by Donald D. Brock; Wed May 17 2017 08:56 AM.