5 ms·

I bet you could add it yourself, or at least comment on it on the GitHub.

• astrange 4y ago
  Yeah, I just didn't know if that control was part of this project or a standard part of the website.