JOSM - pluginy

Zgłaszałem to kiedyś i stwierdzili, że powinno być postal_code.
https://josm.openstreetmap.de/ticket/11491

Poza tym, to że przyjęliśmy nie znaczy, że nie można przyjąć inaczej.
Gdzie mogę znaleźć dyskusję na temat postal_code?
Chyba że przyjęliśmy w sensie ktoś zaczął i tak zostało.

Tu był wątek o dodawaniu kodów pocztowych do miejscowości: http://forum.openstreetmap.org/viewtopic.php?id=29278
I widzę, że w Rosji też używają addr:postcode dla miejscowości.

W tym przypadku nie widzę sensu mnożenia bytów - addr:postcode doskonale spełnia swoją funkcję i nie widzę sensu komplikowania sobie i innym życia (reguła KISS).