Text this: Undecidability of a weak version of MSO+U