v3.1.0

What's Changed

• Milestone 1: PDF build harness by @charlesangus in #31
• Milestone 2: Image pipeline proven on Make Room by @charlesangus in #32
• Milestone 3: Headline DAG feature before/after content by @charlesangus in #33
• Milestone 4: GUI captures — leader window and preferences by @charlesangus in #34
• Milestone 5: Other Features section and final polish by @charlesangus in #35
• Use small (800px) increment for leader-window WASD node movement by @charlesangus in #37
• Add preference to disable pushing surrounding nodes on layout commands by @charlesangus in #39

Full Changelog: v3.0.0...v3.1.0