So luckily the CPU hours did not go to waste as the build script failed when building further binaries - after the one I had at hands and wanted to test was already built successfully. The binary could be reproduced:

WalletScrutiny

Electrum Bitcoin Wallet

Review of Electrum Bitcoin Wallet (verdict: sourceavailable)