Be a little more explicit about plugin names in manual

Closes #251