Text this: Infinite flags and Schubert polynomials