solved/red-blue-cut.md on main
Defaults come from cosheaf.yaml and can be overridden for this export.