In a frenzy of deleting comment-spam, I think I deleted at least one possible non-spam; at least, it seems to have pointed to a reputable software house. I don't know anything about it but that. Oops; sorry.