Revert "Merge branch 'gh-pages' into djp3_local"

This reverts commit 9977cbccfbe407282902010eb04fbd975a0a04a4, reversing
changes made to 6df0fc95f5bc3d5a802ec6e6ad039416e426482f.