BIP-420 proposal formally posted, which would reintroduce the OP_CAT opcode and thereby expand Bitcoin scripting functionality for applications like decentralized protocols and multisig setups