Make the documentation GitHub friendly