> Modulo these minor details, it looks good to me.

OK, can I push this version?