See `sh-bootstrap/` for setup scripts.