@mflatt shall we expect a bit commit today that will break CI? If so, please give me the heads up when you do so, so I can get it fixed. Thanks.