OK, super. Ik heb het proberen aanpassen in https://www.openstreetmap.org/changeset/120831133 voor zover ik het begrijp. Het is in de web editor nogal lastig om van die grote polygonen te verknippen; ik doe dat in JOSM. Als er nog geknipt moet worden, teken gerust alvast de lijn waar de knip valt, en dan pas ik het verder wel aan.