１０年くらい使ってるメインメールアドレスをとうとう変更しようと作業中． あちこちの登録を変更して回らないといけないから結構めんどい． あ，Amazon忘れてたあああ．

するようにした． っていうか，なってなかったんだね・・・．