Revert "First upload to GitHub"

This reverts commit b85911b2b5f0303e5f5cf0cbde7ab7f6c4749b1c.