Re: [PATCH 2/3] git-cat-file.txt: monospace args and placeholders

> In modern documentation, args and placeholders are monospaced. Format
> all remaining args and placeholders as monospace.
>
> Signed-off-by: Denton Liu <liu.denton@gmail.com>
> ---
> diff --git a/Documentation/git-cat-file.txt b/Documentation/git-cat-file.txt
> @@ -115,7 +115,7 @@ OPTIONS
>  --allow-unknown-type::
> -       Allow -s or -t to query broken/corrupt objects of unknown type.
> +       Allow `-s` or `-t` to query broken/corrupt objects of unknown type.
>
>  --follow-symlinks::
>         With --batch or --batch-check, follow symlinks inside the