A follow-up from last meeting: I checked with Gil, and we agreed that naming the current dissemination protocol Drip was the best option. It is Drip, after all. I will try to move things over to net/drip later this week. Phil