Following up on myself a few weeks later: I got no responses, so I'll take this as no other uses are known.
I plan to switch the two tools to use CIPD to resolve the bug, to use the current best practice for
managing third-party code, and to be able to remove the two checked-in copies in //third_party.
Thanks!
-- Dirk