Update the codec removal part of removeCrapreleases.php