Ok, go edit the wikipedia article then if you’re so sure of yourself.

I’ve seen places here mix them up too, it’s not uncommon.

If you want to be a pedant or just find this sort of thing amusing, you could send the hotel restaurant a link to the wikipedia page.

I get that some people won’t get over the texture, but people like okra as well so…

Slimey cooked oat porridges too.

Tastes kinda like peanut butter though and it’s surprisingly good in sushi rolls where the texture can absorbed by the rice somewhat, especially when there’s some other veg involved too.

Then there’s high tea, which yes, features tea. Often a pot and almost never a mug. It frequently comes with anemic sandwiches and perhaps a scone.

Wrong way round.

High tea is/was the working class term for an evening meal as it was had at the table, and it would usually include cooked meat.

Afternoon tea is the posh one in the afternoon with the cucumber sandwiches with the crusts cut off.