Yes, I've saved the executable after changing the icon. Indeed, the new icon does show correctly on my desktop. It is only in the start menu, which uses 16x16 icons, where the old icon pops up.
I'm fully aware of the fact that the two options you've listed are the only possible explanations. That's exactly what's baffling me here.
I'm fully aware of the fact that the two options you've listed are the only possible explanations. That's exactly what's baffling me here.