Update 2014-02-18-set-up-mutiple-github-users-on-one-machine.md