11.9.0 (2024-06-29) Features ui: use [[ & ]] to navigate between plugins. Fixes #1463 (5e3c112) Bug Fixes ui: when closing details, jump to plugin header. Closes #1338 (3772914)