Cringely used to be a house name (cf. https://en.wikipedia.org/wiki/Pen_name https://en.wikipedia.org/wiki/Pen_name ) until one particular writer who had done

Cringely used to be a house name (cf. https://en.wikipedia.org/wiki/Pen_name https://en.wikipedia.org/wiki/Pen_name ) until one particular writer who had done most of the work managed to wrest it away for his use (https://en.wikipedia.org/wiki/Robert_X._Cringely https://en.wikipedia.org/wiki/Robert_X._Cringely )