Remove files duplicated in `gh-pages'

These pages should be tracked by that branch; it is an explicitly
separate part of the system.