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.)