[Tagging] Adding leisure=sports_hall to leisure=sports_centre page

[Joseph Eisenberg]

Another user would like the proposed tag (used 329 times)
leisure=sports_hall to be added to leisure=sports_centre.

However, I believe that rarely used, proposed tags should be approved
through the proposal process or should become commonly used
organically, before being added to the pages of common tags and keys.

Also, it's not clear to me why it would be beneficial to add the tag
leisure=sports_hall; it's definition seems to overlap with many types
of sports centres:

"leisure=sports_hall can be used for a building or an area within a
larger building that is used as a sports hall. The tag can be used for
all kinds of sports halls where no other tag (e.g.
leisure=bowling_alley, leisure=ice_rink, leisure=fitness_centre or
leisure=sports_centre) is more appropriate"

So, this can be a synonym for a sports_centre, or a tag for a building
found in a sports_centre?

Why not just use building=sports_hall and sports_centre for the whole area?

- Joseph