Remove unused `useHistoryRestore` property#1033

marcbachmann merged 1 commit intomainlivingdocsIO/documentation:mainfrom

remove-use-history-restorelivingdocsIO/documentation:remove-use-history-restoreCopy head branch name to clipboard