Commit from Thomas
Merge pull request #8 from githubteacher/ideathomas

No objections from anybody - that means we're good to go!
Trying to rename a file
Merge remote-tracking branch 'origin/master' into ideanat