Text this: Inapproximability of Unique Games in Fixed-Point Logic with Counting