[Ben L.]

• The users tab was because I couldn’t find any good place for it. The plugins tab actually sounds pretty good.
• I’ve added that and it will be in the repository shortly.
• Yes. I’ll work on that right away.

Edit: It’s now in the repository, so the development zip should update soon.