Merge !880: nitpicks: comments and .gitignore

12 jobs for master
in 18 minutes and 11 seconds and was queued for 1 second
Scheduled