bring History file up to release 0.13.1

I made a decision with how to format this. If you disagree, I can change it. I tried to be as careful as I could following the pull-requests in the commit-log. I sometimes modified the description for better reading. Some pull-requests included distinct changes, which I designated with another indentation & description.