Redmine#2038: document string_split() and deprecation of splitstring()