Adding Nicolas Franck's contribution of ALEPHSEQ export formats