Additional design information, slight formatting changes: moved paragraphs around, colorblind-friendly syntax highlighting.