Some notes on setting up an IDE, and GitHub.