* We do not need the history.go hack anymore; reported by @lanfon72.