Revert to serving from /doc so the github documentation links will work
as expected.