I've gotten quite a number of useful responses so far; I'll keep aggregating
them until tomorrow afternoon or so, and then post a summary.
I propose to mention educational institutions by name, but companies only
by market segment, and not to mention any contributors names; if that's not
opaque enough for anyone who replied, please let me know.