Best steam mop for porcelain tiles

I had my kitchen floor re-tiled just before the second lockdown. The tiler did a good job and told us to use grout remover after a few days to remove the excess grout. Unfortunately, I didn’t wait long enough and the floor ended up a right mess. After scrubbing for ages we have finally got rid of the existing grout and it looks OK. Thought in hindsight I would not have purchased these particular tiles. They are a rustic stone porcelain and would look fantastic on a patio, not so much a kitchen.

I want to buy a steam mop. I have an old steam cleaner but it’s such a bother getting it out and assembling everything and I was thinking a mop would be easier. Can anyone recommend a slimline steam mop that is easily stored and would be ideal for porcelain tiles?