Improving /admin/plugins

Based on observed data, probably not worth the effort. Rare situation, easily handled with a topic here to refer people to. No need to gold plate it.