Hmmm, I admit to being somewhat puzzled. I don't expect comments on everything I post. However, this was a hot topic in debian-policy a week ago (as it is 2 or 3 times a year), and I (mis-?) perceived an interest in cleaning it up. However, there has only been one comment, and no seconds. Should I drop it, or push harder?
An enquiring mind, Steve
