3 ms·
Are you using Chrome or a Chromium browser? From experience and reports I’ve seen, that seems to make a huge difference.
by latexr 1y ago
Are you using Chrome or a Chromium browser? From experience and reports I’ve seen, that seems to make a huge difference.