Add note to documentation that ws_string_len() returns the number of characters