Library inclusion is counterintuitive, maybe broken, in Arduino Web IDE?

The Keyboard library seems pretty standard – and yet when I click “include” on it in the Libraries section of the Web IDE, it doesn’t seem to actually include the relevant code. Do I need to find and upload the code myself?

I’m using a third party board, but the Web IDE is working for it.

all you need to do is adding the Library as you did, no need to do anything else. I just tried on my PC on a Leonardo and it worked fine. What board are you using? What is compatible with?