swamptooth


it's actually save as.  you can select the track the midi is on then choose save as and specify midi format file from the save as type option. 
the export as selection only applies to midi sequences you have turned into groove clips.  if you select a groove clip then the export option is enabled.