--- /dev/null
+dafs-fsa.dot is a description of the finite-state machine for volume
+states in the Demand Attach fileserver in Dot (http://www.graphviz.org)
+format. An invocation like:
+
+ dot -Tsvg dafs-fsa.dot > dafs-fsa.svg
+
+will convert the description to an SVG file.