Documentation moved to GitHub pages, only kept the introduction