Text this: A proof of some Schützenberger-type results for Eulerian paths and circuits on digraphs