Improve navigation on the page

[ineiti]

I would like to have:

• navigation with CMD / Alt
  • when pressed, labels appear
  • go to specific parts
  • have 1, 2, ... to go to the first ten projects
• in a filter, when entering text
  • pressing Enter chooses the to element
  • cursor up/down chooses the other elements
• change lab filter to "Professor" filter, and remove the lab part, keeping only the professor's name
  • as I still have some URLs out there sent to the professors with a &lab=, it would be very nice if there is some logic to interpret these as &prof= and ignore the missing lab description in &lab=...

[PascalinDe]

I've assigned this to you, as you seem to have a very specific idea in mind on how you'd like to navigate on the page