Just to be clear, 01EA5486DE18A882D4C2684590C8019E36C2E964 is the fingerprint of the malicious tampered signature key. If the signing key has this fingerprint, it is likely confirmed tampered and any binary signed with it can be presumed compromised or worse.
(Mirroring TLDR into comments in case of DDOS or tampering with bitcoin.org's web page).