"Budapest Főváros Önkormányzata Közgyűlésének 94/2012. (XII. 27.) önkormányzati rendelete
a közterület- és városrésznevek megállapításáról, azok jelöléséről, valamint a házszám-megállapítás szabályairól" tartalmazza a városrészek pontos határait, és ott az szerepel mint ami a térképen van: https://or.njt.hu/eli/v01/735638/r/2012/94

Felvettem a régi neveket old_name-be: https://www.osm.org/changeset/143039705