#asknostr For those regularly using and/or building on them, I ask this as someone rooting for Keet and Holepunch: are they dead, or do they just look that way?