3 ms·

Broadly, yes. It's been years since I asked a question, and for searching and finding an answer, github issues has replaced it.