K 10 svn:author V 3 des K 8 svn:date V 27 2016-05-16T22:16:17.592049Z K 7 svn:log V 68 Use locale-dependent input encoding so we get people's names right. END