PrivSep is gone from the manual. #4057