People seem oddly optimistic about all of this, but I wouldn’t be surprised if the solution they came up with still wouldn’t work in Linux. I don’t know how exactly they’d do it, but I can imagine some encryption key or hardware nonsense that Linux can’t replicate.
“Did you run the formatter on this?”
Bonus points if it’s python code and nowhere in the docs does it say which of the many formatters to use.