Hi, as a member of the group that maintains the Debian package of VirtualBox-OSE, I really would like to be able to ship some documentation in the package. Are there any plans to publish the LaTeX (?) source files for the manual under the terms of a free license? This might allow us to automatically create manpages for the various tools, too. -Hilko