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