[[ Re: PuTTY を INI ファイル対応にするパッチ ]] へのコメント