Minor refinements: .gitignore HowToBuild