Replace dashes by underscores in GitHub usernames
Add note about GitHub usernames with dashes in README
Merge pull request #310 from benja-M-1/master

Replace dashes by underscores when generating personal manifest