Docs: fixing smaller help-lint nitpicks