On 2025-08-20 23:04:45 [+0200], Stefano Brivio wrote:

On Wed, 20 Aug 2025 18:34:51 +0200

it's a single run and not exactly from the same baseline (you see that
the baseline actually improved), but I'd say it's enough to be
confident that the change doesn't affect matching rate significantly,
so:

Reviewed-by: Stefano Brivio <redacted>

...thanks for making this simpler!

Thank you for testing in the meantime!

Sebastian