Record dump command for posterity