Pushed as e3f538969ef250b5a4a720834f9f6e54aaf72a19 and following.
Thanks.