JVApen

I found his slides at his github: http://chandlerc.github.io/talks/cppcon2017/going_nowhere_faster.html

Yes, I'm sure, I've even closed down Kodi on the PC.

No, I'm experimenting with this library to see what is possible to automate some manual actions. Right now not usable as is does not give me the same PDFs as...

Seems there was progress, see https://github.com/carbon-language/carbon-lang/issues/3169