It's doubly weird, since the antigravity module doesn't have a fly attribute, and it "does its thing" on import.

https://github.com/python/cpython/blob/main/Lib/antigravity....