Howdy! It appears that there are some plugins out there that may be bundled with specific themes. My understanding is that the MAKETOCBOX plugin is bundled with the Wikipedia theme (or was it Mediawiki?). There may be other plugins that are equally as useful to the Tiki community that may function just as well outside of your theme.
I was wondering if the theme creators who may have created these plugins may be able to separate the plugins and contribute them on their own to the Tiki community, both as part of their theme or as a standalone plugin? Some of these are actually documented in the plugin list on doc.tw.o, but are impossible to find because they are hidden in user-contributed themes.
Specifically, I'm looking for the maketocbox plugin and the files plugin.
Thanks for your consideration and great work!