User guide: should switch to spec branch