Will a release of the manual happen? I'm particularly interested in the
source release for the debian package.

-- 
Saludos,
Felipe Sateler