Tobias Grosser

@bollu, any update on this. @Superty, you might want to check this out with respect to the overly large figure in your paper.

@math-fehr @bollu, what's up with this? Should we move ahead with this or close this?

I don't understand what you want. We already build paper.pdf and paper-submission.pdf: https://github.com/opencompl/paper-template/pull/43. What else would you like to build? We had at some point a version that builds without...

Indeed. A patch would be much appreciated.