Patch Set 3:

Unfortunately, this has broken the "Refresh" of the history view. I played around and found out that this can easily be fixed by setting currentHeadId to null in the refresh() method of the history page. No bug yet as bugzilla still seems to be down.