Sorry for the silly question: where does the difference lie between your
proposal
setTimeout(function() {
location.reload();
}, 30000);
and Anthony's
setTimeout(document.location.reload, 30000);
What's the purpose of wrapping the actual function we are interested in
into an anonymous one?