先日，いつも使っているメール仕分けサーバ (fetchmail + procmail + bsfilter でスパムを避けたり重要なメールを PHS に転送したりしている) に障害が起きてしまい，メールが一切使えなくなってしまった．なので急拠，一部のメールを GMail で受信すること…