This feature defines the set of plug-ins that are required to run the base of the TLA+ Toolbox.