K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2020-08-07T18:21:48.148070Z
K 7
svn:log
V 137
Remove obsolete part of comment. It was cut and pasted from the old version of
this function, and was never relevant to the new version.

END