Apparently lost in the shuffle was the HD version of WRXP ("My 'RXP") that had broadcast on WQHT 97.1 HD2.
HumDesi Asian radio, which had been on WRKS HD2, was moved to WQHT HD2 early Sunday morning, displacing 'RXP. I checked around the dial, and it has apparently not been transferred to another frequency.
As it was never streamed online and had only been on the air for a few months, probably few people even knew that this channel existed. In addition, there are several other local HD channels broadcasting modern rock, so it is probably fair to say that 'RXP HD2 was superfluous.