* Desktop: suppress user-select for most interface elements
* Better way to target .box-footer
make it non-selectable everywhere (to avoid missing stragglers) but explicitly make it selectable in the `app-vault-view` (so we can select the "Updated: ..." footer text)
* Prettier
* Remove orphaned jslibs