fix doc filename, and link from plugins.rdoc as well