I actually just posted it to HN, because of the likelihood someone here is in DE's circles and can help point it out. (I think some of their devs chime in here,

I actually just posted it to HN, because of the likelihood someone here is in DE's circles and can help point it out. (I think some of their devs chime in here, now and then.) Contacting them directly on this has happened. But with silence, because it hasn't actually reached the right people. (I didn't make the GitHub discussion.)