Info: the warning message of the defunct [info] tactic now points to the [Info] command.
Document Info command.