#21: Add Github-pages flavor.