auto-complete: check for \revert in some other parsing contexts
docstring