v0.25.2

Desktop: files opened from disk are still watched after the app restarts. A file saved in another editor while readm3 was closed (or after a relaunch) now reloads instead of the old stored copy winning, and syncs. Needs desktop 0.19.0 (this release's builds).