usermanual: apply patch of Wolfgang Goetz to lua.xml