On Sat, Aug 23, 2025 at 06:50:01PM -0400, Daniel Dickman wrote:
> As pointed out by Hugo, we can keep the port and just turn off the Python 
> 2 bits. Alternative diff below to do that instead.
> 
> ok?

Sure, ok by me.