meaningless plasmid sequence filename when downloading .gb file
When clicking on the link to download a plasmid seqfile .gb, the name of the saved file correpsonds to the name stored in the server, which is a meaningless string. Instead, we'd like the name to be the original_name.