Re: [Dev-luatex] node.get_properties_table is broken