Add configuration option to disable the default hidelines feature for rust#2518

zgtm wants to merge 1 commit intorust-lang:masterrust-lang/mdBook:masterfrom

zgtm:no-defaul-hidelineszgtm/mdBook:no-defaul-hidelinesCopy head branch name to clipboard