Aw yeah! I’d love to see somebody from the DevTeam talk about this, or literally anything else they might want to talk about, at the Roguelike Celebration in October (https://www.roguelike.club/), if anyone has a connection and could encourage them to consider it. It’s a super lovely community-run online event, and everyone would be thrilled. (I was a volunteer for the first few annual events, as a person who played about a zillion games of Nethack as a kid.)