3 ms·That was my thought, too. A TeX version somewhere would be great.by redthrowaway 15y agoThat was my thought, too. A TeX version somewhere would be great.