Text this: The Complexity of Flat Freeze LTL