How ironic that much of Microsoft and all MacOS depends on Linux/Unix.

I mean ironic for those companies. Irony is not directed at OP.

Are you using the working keys on the builtin keyboard?

It would be great to find a software solution.

A hardware solution would be to unplug the keyboard if you are always using an external keyboard. As long as it will bolt with the internal keyboard unplugged.

Plus, the other person’s suggestion to replace the keyboard.

Kinda risky, but you could also see if you can unsolder or cut the track to that specific broken key. There is the risk of completely borking the keyboard, though.

You know how they say that the internet is a series of tubes? We used to think that was just a funny old man. Turns out, it is the literal truth. The internet is made up of SVG files!