- **Deprecated:**
  Undocumented :n:`eauto @int_or_var @int_or_var` syntax in favor of new ``bfs eauto``.
  Also deprecated 2-integer syntax for ``debug eauto`` and ``info_eauto``.
  (Use ``bfs eauto`` with the :flag:`Info Eauto` or :flag:`Debug Eauto` flags instead.)
  (`#13381 <https://github.com/coq/coq/pull/13381>`_,
  by Jim Fehrle).