Re: [Dev-luatex] Bug in vertical spacing after tables?