usermanual : various changes to the luaAPI generation