2013-11-23-13.32.41: src/lib/core/init/built-in.pkg:  package rw_vector_of_chars:  For consistency and clarity, renamed  create  to  make_nonempty_rw_vector_of_chars.