Ubuntu
python-distutils-extra package

  1. Bug #893337
  2. Comment #1

Comment 1 for bug 893337

Revision history for this message
John S. Gruber (jsjgruber) wrote :

gmanedit also adds a comment at the beginning of man pages, to the same effect.

Apparently they can be moved down the file a line without harm (as a circumvention).