GitHub - MapServer/mapserver.github.io: static www.mapserver.org website (make documentation pull requests to "MapServer-documentation" repository instead)