Removed unwanted history from comments

It's not that relevant to the uploaded version, and can be found in git
history if needed later (e.g. if I clean up and upload my
whuffie-2014-may-notes file)