Comment by nabla9

I felt like something is off, so I checked.

Copyleaks AI detector says this is written by AI. https://copyleaks.com/ai-content-detector

Grammarly says 42% of this text appears to be AI-generated