32 x 32ピクセルのアイコンを16 x 16ピクセルに縮小

以前から、32ピクセルｘ32ピクセルのアイコンファイル（png形式）を、16ピクセルｘ16ピクセルに縮小したかったのですが、普通にgimpとかで開いて”画像の縮小”しても細部がなんか潰れてしまって、「使えないな」と思っていました。

しかし、開いた画像を「インデックスカラー」から「RGB」に変換してから縮小すればよかったことに、今ごろ気が付きました。PNGを開くと、インデックスカラーになるんですね。