> What is the decision? The consensus seemed to be #substrings:, and a compatibility package if necessary.