lua usermanual : rework function synopsis to be more docbook friendly