fixes

doc/man/task-sync.5.in

@@ -147,17 +147,6 @@ server never sees un-encrypted data.
 The server is developed in
 https://github.com/GothenburgBitFactory/taskchampion-sync-server.
 
-To start the server, run it in your preferred HTTP hosting environment, using
-`--port` to set the TCP port on which it should listen.  It is recommended to
-use TLS to protect communications with the server, but this is not required.
-
-The server stores its data in a database, the path to which is given by the
-`--data-dir` argument, defaulting to "/var/lib/taskchampion-sync-server".
-
-For example:
-
-    $ taskchampion-sync-server --port 8443 --data-dir /storage/taskdata
-
 .SS Adding a New User
 
 To add a new user to the server, invent a new client ID with a tool like

taskchampion/CONTRIBUTING.md

@@ -40,7 +40,7 @@ There are three important crates in this repository.
 You may be able to limit the scope of what you need to understand to just one crate.
  * `taskchampion` is the core functionality of the application, implemented as a library
  * `taskchampion-lib` implements a C API for `taskchampion`, used by Taskwarrior
- * `integration-tests` contains some tests for integrations between multiple crtes.
+ * `integration-tests` contains some tests for integrations between multiple crates.
 
 You can generate the documentation for the `taskchampion` crate with `cargo doc --release --open -p taskchampion`.