Revert "Correct frontmatter pagination, close #256 again"

This reverts commit f8d9722e7bdc93d94fe288d3a968629af1d82917.
Revert "Revert "Correct frontmatter pagination, close #256 again""

This reverts commit 9e6d54c2b90cf16a12e413fbd14388cced9a8abb.

I am trying to fix some internal bug that github reported to me.
Merge branch 'master' of github.com:HoTT/book