Edited .gitignore. Now on 8.3 in Ch. 8.