K 10
svn:author
V 5
danfe
K 8
svn:date
V 27
2019-10-25T08:09:30.798247Z
K 7
svn:log
V 186
Uncomment OPTIONS_DEFAULT which I forgot to remove in the previous commit.
While here, do not pass `-f' to ${RM} which already includes it and minor
wording improvements in the comment.

END