Re: [Dev-luatex] Dump sharing - redundant copying/allocations