I am new to jEdit. I apologize if this is the wrong forum.

First, let me say that installation of jEdit was easy and totally successful. I first upgraded to JDK 5 but that is no problem.

Before installing jEdit, I downloaded a few plugins at the same time that I downloaded jEdit. Later I discovered that I was not supposed to do that, correct? I am supposed to install jEdit first, then use the plugin manager to install plugins, correct? When I say "supposed to", I mean that it is the solution that is provided and is the intended method. If I am correct that it is best to first install jEdit, then there should be some comments in the jEdit plugins pages.

Also, the documentation says that a plugin can be installed either as a system plugin or a user plugin, or something like that. Yet it does explain the difference.

Okay, while typing this, I think I realize what the difference is. Perhaps the difference is obvious to those that know what the difference is, but it is not obvious to those that do not know what hte difference is. A system plugin is available to all in a system, whereas a user plugin is available to only the user. Is that it? If so, then the reason it is not obvious is because it is not clear that there is no difference among the plugins. In other words, every plugin can be either a system or a user plugin, but that is not made clear. You simply need to state (if this is correct) that a plugin can be installed either as a system or a user plugin.