Hi! I've been running Python 3.13 for about a year now, and it's been working fine for me. I'd like to make it the default (instead of 3.12 right now). Does anyone see any problems with that? Cheers, Thomas