I notice that sometimes, but not always, the library 'select' form element maintains focus while it should not. This leads to the library changing 'page' upon using a keyboard shortcut, as it selects the page that starts with the key pressed (the usual behavior for dropdown selectors in forms). Even after using the mouse within the workshop, it the element still has focus. Whether the dropdown should support the keyboard 'jump' at all is a design choice I think, but it should always lose focus after a mouse button press (excluding on the element itself, obviously).

I've encountered this behavior in both Chrome and Firefox, on both Windows 7 and Linux Mint.