SBV
Heist
Templates, version clamping, and documentation