Ah, OK, thanks @elemoine. In that case: looks great, please merge :)