The plugin interfaces docstrings are pulled into the "Plugin API Documentation" section further down this page, so this should be a cross-ref to that section, not give the name of the source code file.