Text this: Observation of top quark production in proton-nucleus collisions