Space for the GitHub pages of the course