Instead of submitting my pppd manpage improvement suggestions here, I
submitted them to Debian, whose verdict has finally come in: "None of
these bugs is real." on most of them. So you might have a look yourselves.
http://bugs.debian.org/152213 http://bugs.debian.org/152314
http://bugs.debian.org/166860 http://bugs.debian.org/166862
http://bugs.debian.org/177368 http://bugs.debian.org/166859