Is ServerAlias mail.domain.com needed?

Moved this reply to the other thread as it seems a better fit for those questions: