EditorsKit Plugin

The newest versions of the plugin seem to have resolved most issues, however, there seem to be ongoing issues with this plugin. In general, we recommend avoiding it.

Version 1.34.3 of the EditorsKit plugin was released about 10 hours ago. A pretty large number of bugs have already been identified, including breaking menu links. We strongly recommend you do not update to this version of the plugin.