Hi,

I'm the maintainer for vscode-headmelted-bin and would like to have it
deleted please. A user pointed out that it should be called
code-headmelted-bin for consistency with other package names, so I've
reuploaded it under the new name.

Best,
Alex