Revert "Remove front-matter for github-pages push"

This reverts commit 40dc19f024f33273d98488edb8bcf4e1038507b8.