@algernon @jesse @evan what exactly is the mechanism by which @<user>@company.com “points to” anything other than the server at company.com ?