3 ms·

Of course anything is possible, but I don't think bots typically edit their comments multiple times.