chore: remove an un-used tool

This changelog entry has no additional details.