in my quest to tidy the proposals page on the wiki, some proposals have come up which appear to be redundant is there an acknowledged way of removing them, without going through the whole comments/opinions/voting process? http://wiki.openstreetmap.org/index.php/Proposed_features/Fenced_compounds is a good example thanks