I got an request to include the documentation available from the web site in the Debian package. Which seems like a good idea to me, I'll be happy to do it. However, am I permitted to redistribute them - how are they licensed? And, is there any plain text source available somewhere or just HTML? -- Tore Anderson