Text this: Discrete Wilson Lines in F-Theory