Pull requests mistakenly merged

Sorry that I accidentally created a pull request - and it seems that you accidentally merged it too. This results in your GitHub page being overwritten by my page right now. Maybe you can revert to the version before you merged my pull request?