Two tiny PRs: - <https://github.com/OpenHands/exte...
# proj-extensions
c
✅ 1