Rewrite the text, add some graphviz diagrams, fiddle formatting