Generic plugin extension to Abella, see PLUGINREADME
Abella Ctx Plugin, see TACTREADME