// every 1 minute we fetch from the fileserver to check for a new release
// * if there is none, no request to github are made.
// * if there is a version on the fileserver more recent than our current, we fetch github to get the UpdateInfos and trigger an update as usual (asking user via dialog)
window.log.info('[updater] about to fetchReleaseFromFSAndUpdateMain');
constdiff=Date.now()-lastFetchedTimestamp;
if(diff<skipIfLessThan){
window.log.info(
`[updater] fetched release from fs ${Math.floor(diff/DURATION.MINUTES)}minutes ago, skipping until that's at least ${Math.floor(skipIfLessThan/DURATION.MINUTES)}`