https://github.com/Thibaut/devdocs
The latex2e.html (latexrefman in general) doc license has minimal requirements -- essentially just to preserve the license notice. I don't wish to interpret the use of latexrefman material with devdocs, or any other software, as creating a "derived work", although it is arguable. However, the latexrefman can't itself be relicensed to the MPL, because, well, that's not the reality. (Not sure if that was being proposed.) So my conclusion is that devdocs can put the latexrefman stuff in their repo, in whatever way they want, and do with it as they will, as long as the copyright/license notices on the latexrefman files themselves stays as it is. Hope that it works ... -k
