Automatically refresh pages using a bookmarklet

For best use in environments where external applications or extensions are blocked.