3 ms·

Grep, if you have local logs. Google, if they're public. Otherwise you don't but isn't it the same as discord at that point?