@redd maybe better update it and do not delete it because all the common Mapping Tools like iD or JOSM still only refer to the wiki, not to https://taginfo.openstreetmap.org/ ?