On Wed Oct 4 20:00:09 2023 +0000, Zebediah Figura wrote:
That probably implies we should do the same, arguably even fixing that
bug before we apply 2/2. Oh, never mind, we already have code to handle that. Sorry for the noise. But yeah, question remains, do we actually want 1/2?
We don't necessarily want or need it, no. I can remove it, if that's preferred.