Search Plugin Pages

One can't yet find plugin documentation since plugin pages aren't included in sitemaps.

We wouldn't want to flood the neighborhood with the same plugin documentation from every site.

We could expect a server to offer a plugin map that could be independently fetched for the origin only and then folded into the neighborhood logic somehow.

We have, but don't use, a list of plugin names. json