Skip to content
This is just a convenience tag because I am about to merge David's renaming branch, which I think will break backward compatibilty for older map files.