This "someone" was @g4b0 (in c8e8b5147d162b5b52b0d2b73e92f9f5c46a44a7), who can be reached through github and is pretty frequent on IRC as well :) Please figure out a way forward together. Nico, I can understand if you're not willing to fix inconsistencies introduced by other commits, but then this pull request is effectively blocked. Please only leave it open if you plan to fix the issue at hand.