lua usermanual : remove <synopsis> to have proper linewrap

this doesn't look as good, i'll have to find a clean way to do it...