Bad autocorrect / typos: * s/liner/linter/ * s/we/ww/ * s/warn it crash/warn or crash/ Sorry; I typed this comment on my phone in a hurry, then didn'

Bad autocorrect / typos: * s/liner/linter/ * s/we/ww/ * s/warn it crash/warn or crash/ Sorry; I typed this comment on my phone in a hurry, then didn't look at it again until I could no longer edit it.