Added text to list of export formats

This can be confusing when you're working with another default, because it then looks like exports to xml/html/json are the only options.