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