greasemonkey script: auto refresh

var numMinutes = 20;
window.setTimeout("document.location.reload();", numMinutes*60*1000);