Hello! Finally pushed as 385053f2965afcb204e24aef53ff449addf85aa5. :-)
I squashed the commit that adds the test with the commit that fixes the problem the test exhibits, and I also tweaked commit logs to match our conventions. Thanks and apologies for the delay! Ludo’.
