Merge branch 'dk/replay-doc-omit-irrelevant-rev-list-options'

Documentation clean-up. * dk/replay-doc-omit-irrelevant-rev-list-options: lint-gitlink: preemptively ignore all /ifn?def|endif/ macros replay: drop rev-list formatting options from manual