Has there been an announcement that all coins left after ICO that were not purchased were provably destroyed? Also have the Devs set a date for when the held BRX will be released for sale?

Also are the 6,627,494 BRX held in reserve for the second sale currently staking or are they cold?