GitLab

For large documents with lots of problems, switching the file has a noticeable delay, caused by computing lots of size hints. We can avoid that by using a heuristics instead.

The result looks a bit different, since the whole width is used instead of just what is needed, but I think that is fine.