Add stuff for GitHub pages documentation