Gmail filter domain wildcard reddit. edu as well and that didn't work.