Updated changes from 1.3.1

I incorporated the changes from the 1.3.1 release, nothing big.
I recognized the file doc\config.ini.dist was missing in 1.3.1 zip, I did not delete it though because I can not tell whether it was deleted by Stefan or added by Sharm.