Quote:
Thought it might be, but didn't see it anywhere offhand.


That's what Search at the top of the page is for.


/.timerQ 1 0 echo /.timerQ 1 0 $timer(Q).com