I just downloaded the plugin myself and inspected it. You probably were searching "catalog" and not "admin" files. It's in one of the admin files:
/admin/includes/functions/extra_functions/subscription_manager.php
I searched both catalog and admin. I also searched that specific file since it's the one called when clicking install from the admin.