Open
Description
We have to think through whether we want to use internal or external IDs for keyboard shortcuts.
For example, for teams, when you type t42 you likely want to go to the team with external ID 42, currently we go to the internal ID.
Problematic part here is that external IDs can be more than just ints.