<div dir="ltr">I noticed that the neighborhoods in Pittsburgh are mapped as administrative boundaries with admin_level=9. Is this proper? The <a href="https://wiki.openstreetmap.org/wiki/United_States_admin_level">wiki page</a> for U.S. admin levels doesn't list any use for admin level 9 in Pennsylvania, though this seems appropriate if Pittsburgh neighborhoods are true administrative divisions. It just needs to be documented, or perhaps used elsewhere in the state, like with the fairly distinct neighborhoods in Philadelphia.</div>