More work, on machine #3, working on the github repo, manual edit