Introduce refresh button and revert home button

Now the home button behaves as it did in 5.0.13, and the new refresh
button does a full page refresh.