re: #90 Gus

It appears. Anyway…

Time for Woodward to retire. He’s barely making sense at all.