Demystifying the long and convoluted process of a Bitcoin softfork