Devel

Fix JSON format typo created by deletion of extra log variables in previous commit. Log download in JSON is now valid again.

(not sure what all those "merge remote-tracking" things are below, they are just the synchronisation of my own repo with  the Safecast repo...)