In April I downloaded VSCode version 1.something, or whatever, and got VSCode-darwin-stable.zip. And now, today, I download VSCode version 1.5, and get... VSCod

In April I downloaded VSCode version 1.something, or whatever, and got VSCode-darwin-stable.zip. And now, today, I download VSCode version 1.5, and get... VSCode-darwin-stable.zip. Two files with the same name. Of course, Firefox renames them, so it's not like the older one got overwritten, but that extra little "(1)" isn't actually telling me much. This made me think of all the times I've downloaded this or that paper from somebody's website, and I've ended up downloading a(nother) file called "paper.pdf"... though, just to annoy me, now that I actually try to make the point, at the moment my downloads folder has exactly 0 files called paper.pdf...