Comment by yjp20

(author here)

You're right, that snippet was ai-generated and I forgot to action one of my todos to fix that snippet. This was negligent on my part, and I hope you'll forgive me.

We're fixing that right now, thank you for the correction!