AndroidのGmail通知が退化してから「メッセージ通知Pro」というアプリでいじっていたんだけど、なんか通知の設定がそれで上書きされなくなった。いや、全部通知OFFにして、このアプリで必要な分だけならしてたんかな。