Stylus is definitely a key factor in helping Arbitrum stay competitive, increasing the budget to attract more innovative projects makes sense to me.
I will support this proposal 
I don’t have any issues with the increase of 4M (seems reasonable, even with the total budget being 9M, is not too much for Arbitrum’s long-term growth plan). I also trust the committee will choose the best projects.
I believe @Entropy has carefully considered when posting this proposal. While asking for double the initial budget could set a questionable precedent, I can see their effort to bring more promising projects to Arbitrum.