removing Solidity survey (we need to merge only after Jan 27 and immediately release)#5689