delete deprecated API

This commit is intended to be reverted before the branch is merged,
and then reapplied after 0.14.0 is tagged.
ffdacaac18Andrew Kelley committed on 2/14/2025, 8:15:34 PMparent85e8cc8
2 files changedLine totals unavailable