Update devel/export-dt-ini.lua (0.40.19)