RealNetworks CEO resigns, temp chief exec appointed Thomas Nielsen didn't cut the mustard as CEO, says chairman