[Dev-luatex] Proposal for a change in otfl-luat-dum.lua