Yep, you’ve got it. RiteScript was the company that originally made it, if I recall correctly, and Evernote absorbed them years back. ritePen is the name of the full product, I can provide a zip of the binaries if that helps narrow down your search.
Thanks so much for looking into this for me!