Command DocExport is in [...] The Export command [...] command.) The DocExport

the Export command [...] command, not the export [...] produced by the export