Excerpts from mik's message of 2020-11-20 11:36:44 +0100:
You will also have to activate Koha system preference "UseKohaPlugins".
Then you'll find the plugin option in Koha menu "Tools".
This is all described in the fine Koha manual:
* https://koha-community.org/manual/20.05/en/html/plugins.html
The manual is out of date. UseKohaPlugins was removed for 20.05. See bug 20415: https://bugs.koha-community.org/bugzilla3/show_bug.cgi?id=20415 Coincidentally, I'm having the same problem that is being discussed here, but only on koha-testing-docker; a stock installation of 20.05 on Debian is working fine. I can see that pluginsdir and enable_plugins are set correctly in koha-conf.xml, and I've logged in as a user with superlibrarian privileges. But I don't see "Tool plugins" under "Additional tools" in the Tools page. I've tried restarting plack, apache2, and koha-common, to no avail. -- If we all work together, we can totally disrupt the system. --Ashleigh Brilliant