Oddbean new post about | logout
 and that's why I was suggesting the Home button.  If I hit F5 to refresh the page, it makes sense to need to put in that PIN number.  But hitting the Home button should do the same thing, without the PIN.