While looking through some questions on lotus-notes, I found that some of them were also tagged with lotus, which has 34 questions. Looking through the lotus, many of them are just about Notes, one is about Domino (probably belongs on Server Fault), and there are a few stragglers about Approach, 123, etc.
So my proposal, if no one objects, is to pull lotus from the Notes-related questions, and introduce any new tags as required for the remaining questions.
Incidentally, I noticed that there's a microsoft, which led me to this question and a general discussion of company tag cleanups. So I suspect making lotus disappear will be a good thing.