3 ms·

Since we already have the original TeX files, any conversion directly from PDF would be of lower quality.