This fixes the plugin API docs page. As there are currently no plugin APIs documented, I have also removed the link from the sidebar. I still kept the cross-reference in the general API docs, so that people are aware that plugin docs should be found there.
This fixes the plugin API docs page. As there are currently no plugin APIs documented, I have also removed the link from the sidebar. I still kept the cross-reference in the general API docs, so that people are aware that plugin docs should be found there.
Fixes #1357.