Should these be merged/synonymed? We recently moved a bunch of questions to jedi-code-library from jcl, and the jedi questions seem to be quite similar. I'm guessing that jedi -> jedi-code-library would be the correct direction here, if a merge or synonym is in order.
"Jedi", in this case, is a reference to Project Jedi, which is a name for a group of projects that are in some way related to each other, such as JEDI Code Library (JCL), JEDI Visual Component Library (JVCL), JEDI Version Control System, and JEDI Quicktime project.
Between all the questions tagged jedi, I can see there are some questions that are about JVCL, not JCL.
There are also questions about Jedi VCS.
Retagging questions that use jedi with jedi-code-library cannot be automatically done; at least, some of the questions should use a different tag; even supposing that there is no need to use a specific tag for Jedi VCS, there is still the need of a tag for the Jedi VCL.
Probably, we should: