IDE 1 Can You Trust that Verified Symbol? Exploiting IDE Extensions is Easier Than it Should Be Jul 1, 2025