I read or heard somewhere about 88.1 and the "indie" name. "Indie" is supposed to be that it's independently-owned and not corporate (like Audacy, Cumulus, or iHeart), and has nothing to do with the genre "indie rock." It is misleading thinking we're gonna get indie rock but oh, I hear Blink 182, Green Day and AJR (even though the latter is an indie pop band). It's just a university-owned Alt 103.7 clone.
I don't listen to radio as often as before these days, but I still think KXT still has the better playlist.