Nicely done, Ira. Timely, succinct, and apt.
One small correction: Dash actually has just under 4200 full nodes, not 3800. The 3800 is the number of full nodes who also happen to be masternodes. Not a huge deal, of course -- the real number just makes us look even more impressive in these...