I assess that there are 2 possible processes for this burn, manual burn by the initial team to address 0x000...dEaD, and secondly minting and bridging to a special token like BOBBURN