更新記録を兼ねて作成してきたコメント欄を誤って削除してしまいました。残念ながら修復不能なので、今後はブログ欄として更新記録を作成していくことにします。それにしても、この種のミスはほんの一瞬の気の緩みで発生しますね。反省すること頻りです。