Stephan Assmus <superstippi@xxxxxx> wrote: > Personally I > wouldn't mind having both man pages and html documentation, since it > only wastes space, not efficiency and it means less work. If you want to have both, the work for the porters wouldn't decrease at all, only if you would allow to choose between the formats. But that would result in a bad user experience which should be the least in our interests. So we don't get around some extra work in any case. Providing HTML docs only (with additional command line tools) would provide the best user experience, but I think the work-around with a Web+ add-on would definitely be acceptable as well. Bye, Axel.