I thought your name looked vaguely familiar, then read bullet point 5 there. This editor wouldn't have happened to be Pepper, would it? I always wondered what h

I thought your name looked vaguely familiar, then read bullet point 5 there. This editor wouldn't have happened to be Pepper, would it? I always wondered what happened to it after it had been bought. (I may have bought a license for Pepper; I know I had one for its BeOS predecessor Pe.)