Hi! For the record, this was fixed in 61a8c9300daeb730fe5094f889bf13241942be84, which made it into 2.9/3.0, and 2dccec9f553776656d9378e2315ad32d2e55286b, which made it into 2.2.5. Closing! :-) Ludo’.