I've never grokked the Talk pages. Is this where we talk about Dave? Assuming it is I'd just like to say that he's great. – Dave (talk) 23:01, 28 July 2020 (UTC)