by Tim Hunt.
The instructions about installing extra plugins is https://docs.moodle.org/27/en/Installing_plugins. Is that what you mean?