I don't think the user manual should include references to Maven.  Shouldn't this info be in the README for the server module?