I agree that github-pages would provide all that's needed for maintaining the docs online, and make the publishing nearly effortless. The change history is of

I agree that github-pages would provide all that's needed for maintaining the docs online, and make the publishing nearly effortless. The change history is of definite value. I'll give it a go.