6月頃に受け取ったメールを確認しようと思ったら、千通程度の中に埋もれてしまってなかなか見つからなかった。検索のしようもないので、とりあえず関係なさそうなメールを片っ端からアーカイブに移動して発見することができた。