どうもこの頃gmailのフィルタリングが効かない、と思っていたら、inboxのセッティングの方で、フィルタリングの設定をoverrideしているためと分かった。しかも、このoverrideは、gmail側が勝手に重要と判断したものについて行われるので、利用者側が全く知ら…