Autoupdate of the AppImage version from 2.12.1 to 2.13 fails with a SHA512 checksum mismatch. Attaching a log, since it's too long to inline.