v0.13.1 Fixes two bugs resulting in things not connecting after upgrade to v0.13.0. Also please read the v0.13.0 relase notes. This release is not compatible with v0.12.x. * lib/config: Don't migrate non-HTTPS-URL discovery servers to new path (#3103, @calmh) * gui, lib: Add missing licenses (#3100, @aviau) * lib/connections: Correctly add port to portless tcp:// URLs (#3115, @calmh)