Eh, they’d likely be directly told that @[email protected] is losing it rather than manually checking the local logs.