Richard Stallman <rms@gnu.org>: > This reinforces my conclusion that it is essential for these sections > to be unremovable as well as unmodifiable. Well in that case you can rest assured that they will be removed from Debian together with the documentation to which they are attached!