I disagree. I’m convinced nobody infers any meaning from “fedeproxy”. Other than “it contains proxy in the name, therefore it must be a kind of proxy”. I like the use of a generic and well defined name (proxy) that is contextualized by the larger project to which it belongs (i.e. forgefriends).