my procmail rules: sourceforge now also comes as sourceforge.com, not just only sourceforge.net

And that makes me change my procmail rules yet another time.
Not that I ever hoped, this would ever end.