I voted FOR this proposal at the temp check stage. Stylus is one of Arbitrum’s key competitive advantages, and I think it’s appropriate for the DAO to play a direct role in driving adoption. I agree with the focus on developer tooling and infra as the key to fully unlocking the potential of Stylus, and think 5M ARB is a reasonable place to start in terms of program sizing.