He made a thread with a screenshot on reddit:

https://www.reddit.com/r/Electrum/comments/w4f7s3/tx_decided_failed/

Electrum servers use bitcoin core to interact with the blockchain so that's why the message is from core.