Hi there,
A lot of things are moving in lubyk right now to cleanup dependencies and help newcomers with good documentation.
After lots of fiddling with other tools, we decided to write a custom tailored documentation parser and are very happy with the result. Documented source code looks really nice and is easy to navigate.
We can also use the generator to create tutorials in a literate programming style... with mathematics.