lua : update usermanual generation

This PR is mainly a a place for me and @upegelow to discuss. _Do not merge_ . Either him or I will do it