GUI: renamed History tab as it is not only history...