JSON export/import of settings

It’s there! Thanks @aressanch and team!

I only wonder whether it’s a good idea to have the uuids in the export.