In reply to Otto.

Worth noting that that doesn't "hide" them at all though -- they still show up in external search engine results. I don't know the stats, but I could easily see half or more of plugin page visits coming from Google.

Would adding a noindex tag to old plugins be overkill?