v0.13.3 This is a bug fix release to fix a number of issues introduced in the v0.13 release. Resolved issues: * vendor: Replace github.com/jackpal/gateway with github.com/calmh/gateway (#3142, @calmh) * lib/model: Leave temp file in place when final rename fails (#3146, @calmh) * lib/model: Track puller creation times (#3145, @AudriusButkevicius) * gui: Set CSRF stuff earlier (#3138, @calmh) * cmd/syncthing: Correctly set, parse and compare modified time HTTP headers (#3165, @calmh) * lib/util: Add secure random numbers source (#3178, @calmh) * lib/upgrade: Prefer a minor upgrade over a major (#3163, @calmh) * cmd/syncthing: Do not modify events (#3002, @AudriusButkevicius) * lib/model: Fix wild completion percentages (#3102, @AudriusButkevicius) * cmd/syncthing: Use API to generate API Key and folder ID (#3179, @calmh)