On 14 Dec 2021, at 20:48, Amitai Schleier wrote:
I propose the following small change:
Is it perhaps the case that this change is too small to be worth worrying about? If that's the case, I'd be glad to have it in the 2021Q4 branch. But if it's risky, I'd be glad to hold off.