usermanual : rework lua attributes according to what upegelow told me to do