sS dropLineNumbers(S s) {
  ret lines(map dropLeadingNumberAndDot_trim(lines(s)));
}