io84 3 days ago

I wonder if that’s a dictation artefact

  • dbreunig 3 days ago

    Not dictation…copy/paste I think. Thanks, fixed.