Baystation12/Baystation12 — pull request #6014 by comma (2014-08-16 02:02:38+00:00)
Title: Replaces /area with /area/space

For downstream servers - to update, just open your map, select any /area tile as active, right click on it and pick "Search for instance". There just Replace All with empty string, and volia.