Some hacking on configuring GMail filters without clicking on stuff.