Some reflections on the punctuation of Old English prose