In 2016, we renamed a log compression script in order to differentiate
it usefully from a new one being added then. We also added code to
remove the script with the old name. It's now time to remove the
removal code.