GitHub has some issue with Head

GitHub.com is not comparing to latest master when doing Pull Request, so
I'm manually reverting these files so that GitHub only includes my real
challenges.