I pushed this now. It's confirmed to work, and that downstream bug got a gazillion duplicates, so it does hurt people a lot.
I pushed this now. It's confirmed to work, and that downstream bug got a gazillion duplicates, so it does hurt people a lot.