K 10 svn:author V 3 jhb K 8 svn:date V 27 2015-05-06T17:23:42.822830Z K 7 svn:log V 116 Tweak the comment here some more. In particular, the previous opening sentence was a bit confusing. Noted by: kib END