bookmarklet: stop after timeout