@@ -46,8 +46,8 @@ Here's a duct that was recently observed in the wild:
46This is the duct the timer vane receives when "timer" sample app asks
46This is the duct the timer vane receives when "timer" sample app asks
47the timer vane to set a timer. This is also the duct over which the
47the timer vane to set a timer. This is also the duct over which the
48response is produced at the specified time. Unix sent a terminal
48response is produced at the specified time. Unix sent a terminal
49−keystroke event (enter), and Arvo routed it to %dill(our terminal),
49+keystroke event (enter), and Arvo routed it to `%dill` (our terminal),
50−which passed it on to the %gall app terminal, which sent it to shell,
50+which passed it on to the `%gall` app terminal, which sent it to shell,
51its child, which created a new child (with process id 4), which on
51its child, which created a new child (with process id 4), which on
52startup asked the timer vane to set a timer.
52startup asked the timer vane to set a timer.
@@ -103,17 +103,17 @@ well-defined, stable, and general-purpose piece of functionality.
103As of this writing, we have seven vanes, which each provide the
103As of this writing, we have seven vanes, which each provide the
104following services:
104following services:
106−- `%ames` name of both our network and the vane that communicates over
106+- `%ames`: the name of both our network and the vane that communicates over
108−- `%behn` a simple timer
108+- `%behn`: a simple timer
109−- `%clay` version-controlled, referentially- transparent, and global
109+- `%clay`: our version-controlled, referentially- transparent, and global
110 filesystem
110 filesystem
111−- `%dill` terminal driver. Unix sends keyboard events to `%dill` from
111+- `%dill`: a terminal driver. Unix sends keyboard events to `%dill` from
112 either the console or telnet, and `%dill` produces terminal output.
112 either the console or telnet, and `%dill` produces terminal output.
113−- `%eyre` http server. Unix sends http messages to `%eyre`, and
113+- `%eyre`: an http server. Unix sends http messages to `%eyre`, and
114− `%eyre` produces http messages in response
114+ `%eyre` produces http messages in response.
115−- `%ford` handles resources and publishing
115+- `%ford`: handles resources and publishing.
116−- `%gall` manages our userspace applications. `%gall` keeps state and
116+- `%gall`: manages our userspace applications. `%gall` keeps state and
117 manages subscribers
117 manages subscribers