K 10 svn:author V 3 gjb K 8 svn:date V 27 2013-10-14T20:30:56.776117Z K 7 svn:log V 68 s/--/‐‐/ to avoid double-hyphens within commented blocks. END