Given the cost and short shelf life of the recent manufacturing "extensions", as a hobby user I can be pretty certain that I will never make use of them. I'd like to be able to suppress them in preferences so that they do not show in / clutter up the menus.
Please provide an option to suppress manufacturing extensions from the pulldown menus (the ones with the wrench symbol on). Displaying them by default would still allow users to be upsold if they wished.