Re: [Dev-luatex] buffer size musings