* basic export repository link in settings
Absolutely no prior React experience, and limited TypeScript, so
probably doing all kinds of things wrong!
I tried to make it a download button instead of link but that didn't
work.
There is probably a safer way to construct the URL string.
I think having the download open in the browser is reasonable, as
opposed to an in-app save flow in mobile. But i'm not sure.
* Remove appview proxy toggle
* Move Settings screen to a subfolder
* Add support for the download attribute on links in web
* Rewrite ExportRepository modal using ALF
* Mobile ui tweaks
---------
Co-authored-by: Paul Frazee <pfrazee@gmail.com>
