But there are other sources of high-resolution timers, that Mozilla hasn't covered:
(Maybe someone should let them know?)
https://trac.torproject.org/projects/tor/ticket/16110
https://trac.torproject.org/projects/tor/ticket/17412
https://trac.torproject.org/projects/tor/ticket/2101