On Thu Nov 3 18:49:00 2022 +0000, Zebediah Figura wrote:
Personally I think changing the default in a tool like this is a bad idea. (In fact, I'd argue that it should be held to a similar standard of API stability as the library itself.)
Ok, got it.