A long, long, long time ago I used a program/app that would forward a Windows PC sound to an Android phone.

Sorry, that’s not really helpful.

deleted by creator

Because you mentioned taking notes and manual tracking, maybe a note taking or wiki application like Obsidian with its plugins.

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.