Revert "more fiddling with github pages"

This reverts commit af63f5690b5dd663556e59a937cf0777c8fbb48a.