doc: improve man page option anchor generation#3406

leno23 wants to merge 2 commits into

BurntSushi:masterBurntSushi/ripgrep:masterfrom

leno23:add-linkable-headingsleno23/ripgrep:add-linkable-headingsCopy head branch name to clipboard