新しく得た知識があったので書いておこうと思ったら、何を書きたかったのか忘れました。まあ忘れたということは書くべきことも無くなったわけで、問題ないですね。