> but in less formal contexts it also gets used a lot to describe stuff like "Heisenbugs"

There are pretty formal contexts in which it also means things like that! It's not about formalism, it's just about context.