Leave it the way it is, just re-grout where you need to. Unless you
are missing a lot of tiles, I would not put a linoleum tile over
ceramic, especially one that curves up to meet a wall. It will look
ugly. Have you considered using a grout and tile cleaner, and then re-
grouting and re-sealing?