5 ms·

Not sure how that follows. It seems mostly irrelevant whether the new incident is related to the github issue.