Update README.md

README.md

@@ -1,15 +1,16 @@
 # pacman
 
-A package manager for Dylan. (This is a library, not the name of an executable, so there
-is no conflict with the `pacman` package manager for Arch Linux.)
+A package manager for Dylan. Find, download, install, and uninstall any version of any
+Dylan package and its dependencies.
 
-Find, download, install, and uninstall any version of any Dylan package and its
-dependencies.
+(This is a library, not the name of an executable, so there is no conflict with the
+`pacman` package manager for Arch Linux.)
 
-It isn't normally necessary to use this library directly. See the
-[dylan-tool](https://github.com/dylan-lang/dylan-tool) documentation instead.
+Some high-level documentation for pacman is included in the
+[dylan-tool](https://github.com/dylan-lang/dylan-tool) documentation.
 
-See [this document](https://docs.google.com/document/d/13G6I1P2v9sULeV38pjOy-5EGhJme7BDQ52jQ0gO1peM/edit?usp=sharing)
-for some design discussion.
+See also:
 
-See also: the [pacman-catalog](http://github.com/dylan-lang/pacman-catalog) repository
+* [dylan-tool](http://github.com/dylan-lang/dylan-tool)
+* [pacman-catalog](http://github.com/dylan-lang/pacman-catalog)
+* [workspaces](http://github.com/dylan-lang/workspaces)