Code

plugin: Record all loaded plugins and use that for improved error messages.