They know about Maude ;) (Jan said it was probably an apache trick, rather than a complete hosting). I suppose since the trademark is owned by the foundation, we should report that there. Vague emails into the ether, alas. I think I hate trademark shenanigans more than I hate GPL :/