@rinigus, I have merged your 1.8.0 updates into my GitHub fork. I believe it is complete but if you feel like merging with yours, please check again. I do not want to be responsible for breaking your masterpiece.

@others, that means the patch in Openrepos is finally up to date with 1.8.0

I have yet to complete the last change I wanted, make the UI configurable. But that is more or less independent.