Putting a Lisp on a Diet: How We Cut Coni's Boilerplate in Half (and Taught the Linter to Bully Us Into Using It) 10-17