9 ms·Would you like to name names? I don't think we have a lead dev currently.by ltlnx 4mo agoWould you like to name names? I don't think we have a lead dev currently.bowsamic 4mo agoNo, I don’t want to name and shame. It was a few years agoltlnx 4mo agoI think I know who you're talking about then :) Yes, some years has passed and they are no longer active (and we have a leadership committee instead of lead devs now).