Settings Modal / Version Switcher - Mobile UX Improvements

Increasing Access

It is possible on mobile to change the version and manage libraries, but there is not a clear indication that the modal can be scrolled to reveal all the add-on libraries. I looked into some possible related WCAG topics (1.4.10, 3.2.4, 1.3.1) but none seem really quire related, so I'm not sure if its a web accessibility issue. However, it is at minimum a discoverability issue (visibility of system status; recognition rather than recall usability heuristic problems).

https://github.com/user-attachments/assets/749d8fc6-39d7-418c-9ccd-0b6073e63ad3

Feature enhancement details

In addition to making scrolling more clearly available on mobile, or otherwise addressing the discoverability (and potentially web accessibility) issues, the tabs in the settings screen also wrap around, so maybe "Library Management" can be renamed to "Libraries?" Not sure, that might be a bit mysterious.

Start by reproducing the settings modal on a mobile viewport and inspect the version switcher, library-management tab, and attached example. Done means the available scrolling and add-on libraries are discoverable on mobile, with the settings tabs remaining usable without wrapping problems.