With a bit of help from justin the docs are now published, and the docs page updated with a maintenance section:
I also updated the references to 2.5 on master, so the docs, extension readmes and similar will be correct. I also cleaned up a few references to the GEOSDOC wiki which no longer available.
Jody Garnett