Clean up GitHub file edit snaffu

Ugh. Pasted into the GitHub file creation form, then hit
enter. Voila... a folder named with content