@CjMalone Computer says no: taginfo.openstreetmap.org/keys is 24M on its own, and ignores e.g. taginfo.openstreetmap.org/keys :)