Revert add of new dest parameter for ExplainOneUtility().

It is not actually used.

Pointed out by Noah Misch.