Log Message:
Update to 3.01, prompted by the changed distribution file reported
by Robert Vargason in PR 18680.
Changes are unknown; diff of the old and new sources doesn't look strange,
but doesn't tell me enough either.