Dealing with usability in my day-job I would suggest adding the button anyway.... it eliminates user questions (dooglus is not your average user, and he had questions).
I was kind of playing dumb - I realised pretty quickly that I was going to have to refresh the page myself, but thought I shouldn't have to realise that, and that some wouldn't.