Document the <<<token>>> shortcut.