Are there any new significant developments by cypherpunks since BTC? Or did they just merge as BTC developers?