Aren't the employees' sales a useful contribution to the stock market? They're turning private knowledge about upcoming SEC actions into public information, assuming that the public bothers to correlate stock sales with SEC employee lists. (If either of those pieces of information isn't publically known, then an SEC employee selling stock doesn't contribute any more information than any random shareholder's sale.)