K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2020-08-28T17:05:06.911208Z
K 7
svn:log
V 101
Update outdated comment

There is no splnet anymore, so update the comment to drop references
to it.

END