One more doc change, and updated .gitignore