These patches fix some minor stylistic issues that came up in bug#71969.

- The first one replace instances of 'non-nil' with 'non-@code{nil}' and
  'nil' with '@code{nil}' per the style docs.
- The second one is a drive-by fix to change a few quoted symbols to
   @code{symbol}.