3 ms·

I’m pretty sure the good bots already identify themselves as such. Or make themselves obvious e.g. @PossumEveryHour