Added
- Shared SSH key: one SSH key for all devices, generated by mikr or your own, under Settings. mikr can put it on the devices you choose, checks that it logs in, and switches them to it. A device can also be set to the shared key in its form.
Fixed
- Large fleets: with thousands of devices the web interface froze for most of every half minute, on any page. It stays responsive now.