Fix stabilization instructions in RFC intro#4067

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

carolynzech:stabilization-clarificationcarolynzech/kani:stabilization-clarificationCopy head branch name to clipboard