Yeah sorry, I should have specified which repo. I'll stick with the original version for now.

Hopefully this quarrel between the two devs can be settled without requiring a permanent hard-fork.