Exporting Vectors edit page

Large lists of vectors can be imported from a text file by the command

and exported by the command