Cleanup

This dev-related stuff should not be part of repo, add it to `.gitignore` of the project, and ideally don't commit even that - less files, better looking repo :).