On Tue, 2021-01-05 at 17:11 +0530, Bhaskar Chowdhury wrote: > On 22:24 Tue 05 Jan 2021, Julian Calaby wrote: > > Hi Bhaskar, [] > > and your change is just making this comment worse. > really??? Not sure about it. I agree with Julian. I'm fairly sure it's worse. The change you suggest doesn't parse well and is extremely odd. If you _really_ want to just change this use (and the others), I repeat his suggestion of "by default".