Documentation/HistoryOperators → Documentation/UserGuide/HistoryOperators.
See Documentation/UserGuide/HistoryOperators.