[Tagging] Title of maps (information=map)

[Tobias Knerr]

On 31.10.21 17:41, Raphael wrote:
> I've just wanted to map a map including its title when i noticed that
> the wiki doesn't mention a tag for titles. I would have thought of
> `title`, but this tag has only been used 201 times. Instead, 41% of
> all maps (more than 34 000) have a `name` tag. This doesn't seem like
> a good idea to me as data users will need to convert `name` into
> title.

I agree that it may be somewhat preferable to have a key other than name 
for the map's title. It could take inspiration from the similar 
board:title key for information=board.