> From: Philipp Stephani <p.stephani2@gmail.com>
> Cc: Philipp Stephani <phst@google.com>
> Date: Sat, 29 Apr 2017 20:49:09 +0200
>
> +on @code{auto-save-visited-mode}. See @xref{Auto Save Control} for
@xref itself produces "See", so the "See" before it is unnecessary.
Other than that, I think this can go in. Thanks for working on this.