Jacky PB wrote:
Where are the decision makers? Isn't there nobody
No one else is interested in this issue, and getting involved would mean wasting a lot of time with people fighting a lot over something unimportant. The safest course is thus to leave a rarely-used wiki sitting there, same as we do with dozens of other rarely-used wikis and nobody minds.
-- brion vibber (brion @ pobox.com)