3 ms·

Hm. Sorry if that was inappropriate. I thought about which approach to take, and came up with "ask publicly."