I downloaded it, and it has the file. Thank you!
Also, the June 10th version has a bug.
Fatal error: Call to undefined function: tep_admin_files_boxes() in /home/silverje/public_html/catalog/admin/includes/boxes/header_tags_controller.php on line 28
When I replaced /catalog/admin/includes/boxes/header_tags_controller.php with the file from 2.4.9 version, the error went away.