Exporting data from PeptideShaker.