That rings a bell although fuzzily: as the new kid from school, I was pretty disconnected from the politics of the moment. I do seem to remember that the MineSet team departed en masse, but IIRC that departure roughly coincided with broader layoffs in the org.
(With apologies for reviving 90s IRIX/Solaris snark in my earlier post. :-)
(With apologies for reviving 90s IRIX/Solaris snark in my earlier post. :-)