Thanks Diogo, you are definitely right, but in my defense I'll just note that I only checked that this place still exists (via StreetComplete while I was on the way). Name and other attributes were added in previous versions.
But anyway, thanks for your improvement in v5!