I agree that we should just delete that file. I would also be very much in favor of deprecating ExternalCommand, and then removing support for it entirely.
I agree that we should just delete that file.
I would also be very much in favor of deprecating ExternalCommand, and then removing support for it entirely.