3 ms·

Ah, I see what you mean. A standard API for synchronising non-local events would definitely make life easier.