Yeah that shows ch 401 which is SD and still in a premium tier (Sports and Information). It doesn't even list the HD channel. Unfortunately they don't list anything about contacting them to lobby for inclusion on a cableco's basic package. But I see your point about them listing it as a basic cable channel -- "FXX is the new basic cable entertainment network launching on September 2, 2013."
-- Is Mediacom reading that?!