> * no easy way of installing new documentation (or updated one) Yes, there is an easy way. Drop in the new files. The only thing we have not made is easy is to modify the tree, but that was done on purpose, so we would get third-parties always under "various". We can revisit this decision if its important.