@Moon @zaitcev @awl I didn't think we even had one. Then again, what counts as a nazi is a low bar these days.