Configurable keyboard shortcuts (or alternate keys) for non‑US keyboards

Some dashboard shortcuts use [ and ], which are hard or impossible to type on non‑US keyboards. Allow shortcuts to be reconfigured or provide alternate keys so those users can use the same action