The Taproot/Schnorr soft fork is now formally proposed as Bitcoin Improvement Proposals