Creating application icons from multiple PNGs

Note to self: Icons for Windows applications with multiple resolutions can be created by combining multiple png images using the convert tool that comes with ImageMagcic:

convert 16.png 32.png 48.png 128.png 256.png -colors 256 icon.ico

(From this answer to this question on superuser.com.)