Tobias Meggendorfer

> (and not because pushing our tool in particular, but because of the general improvement to the state of how research is done). Same here :) > Do you think...

I like "quickstart.md" a lot (its not exclusive about `runexec` but rather concrete steps to improve benchmarking) Yes, I saw `benchmarking.md` I think it would be a good idea to...

Will do soon (tm); closing this MR then

[progressbar2](https://pypi.org/project/progressbar2/) is very easy to use, too (you can basically wrap it around an iterator). I might be able to add that.

> This is something that we prefer to keep as it was: lines should not be too long, and thus line breaks should be added at semantically fitting places (like...

Ok, this makes the diffs very tricky to look at, but I will try :)

Attempted in #1029

> Hm? The whole idea of this is that it makes diffs easier to read if the lines are not so long (for example on GitHub, which does not provide...

I think there are some points in there but I would have to have a separate look, would definitely end up being a new PR

Ah! I was looking at https://www.domjudge.org/docs/manual/8.3/install-judgehost.html ; didn't see the snapshot changes. Indeed, also thinking through which parts of interactive problems run where (in which cgroup etc.) is very relevant...