Barrapunto

Alvaro ya ha revisado el texto ese, añadiendo esa duda que te ha surgido, pero creo que aún no se ha regenerado el documento.

Mira las fuentes del documento en el cvs si quieres.

De todas formas, es tan sencillo como bajarse el paquete nuevo de ftp.debian.org/debian/pool/main

Un saludo.