On Tue, Jan 25, 2022 at 10:40:34AM +0000, Guillaume Le Vaillant wrote:
> LGTM

Thanks for the review! Pushed as
676de0a34c7fab3c12e36e0d8349db6ee8da65da