Comment by latexr

10 hours ago

Are you using Chrome or a Chromium browser? From experience and reports I’ve seen, that seems to make a huge difference.

2 comments