misc
misc

To account for the possibility of the user running the script silently in the background. PAUSE would leave an instance in memory doing nothing indefinitely.

I was going to use TIMEOUT but PING performs better.

ghacksuserjs/ghacks-user.js,ghacksuserjs/ghacks-user.js