You can define custom PDF label by changing the default Attached PDF label in the first field inside the upload PDF section on product add/edit page.
When you set the custom label for PDF file it will be saved and displayed on product page.
All our solutions are compatible with or without the WooCommerce Catalog Booster plugin.
The best if you are starting with your catalog development.
This is a simple solution for an extendable custom post type to create your catalog.