## Summary

This removes some old code related to an issue we had with two very old
extension versions.

These do not see any use anymore today, so we are good to remove this
very old TODO.

## Self-review

- [X] I've reviewed my diff for quality, security, reliability, and
performance.
- [ ] UI changes follow the
[checklist](https://zed.dev/docs/development/ui-checklist).
- [ ] Tests cover the new or changed behavior.

Release Notes:

- N/A