Ditto. I mess Seth a great amount and this too makes me sad a bit -- though his code and advice lives on in scores of people.
His belief in Ansible being a decent idea really kept me going with it after the first 2 months or so, otherwise I might not have continued it as a side project, and over the course of several years, he helped me a ton with various issues and was an amazing sounding board, including sharing a lot of advice when I as being plagued by nuisance CVE reports and wondering what to do about them. We had occasional arguments and he was usually right, and we always resolved things. (We had also previously worked on Func together with Adrian Likins, who wrote most of up2date, which was also a great experience - Seth knocked out most of the fun SSL parts). Back then used to meet around Duke to come up with crazy patent ideas to supplement our low Red Hat salaries (mine was anyway), and ... yeah, so much fun.
At his service, what was super amazing was pretty much everyone said the same thing about how he had helped them, dozens upon dozens of people, and it was really one of the most moving things I've ever seen. One of the few that made you come out saying "whoa" and wanting to be a better person and care about helping other people more than I did. And I think I did. Or I'm trying hard to.
Seth got a lot of hell for yum and shared many of my frustrations with the nature of the OSS community at times, but I still prefer it than a lot of idioms in apt. Things like yumdownloader, createrepo, --enablerepo, --disablerepo, and many things like it, just made it click for me, and it worked so well. And working with people like him at Red Hat made it really feel special to be there and to be able to learn from them.
I think about him every time I run yum, and every time something in apt doesn't work the way I want. Folks should just enjoy the metadata refresh time as a reason to get coffee, and blame PackageKit for your silly yum locks. (ALWAYS. REMOVE. PACKAGEKIT.)
And I agree on keeping the name, and it doesn't clash with "disjunctive normal form" that way too :) .. not that I remember what that is so much.