help/manual: add paragraph about history