DesignDocument: clarify that the MainController talks to the Server model