Fixing what turned out not to work for unreleased version 1.3.7: * Significant log-in improvements, including better security. Further changes: * The app now uses a custom User-Agent string. * Two new dependencies have been added: okhttp3, and conscrypt.