http://www.theyeshivaworld.com/coffeeroom/topic/typing-on-chol-hamoed
We did this a few times already. Normally, the thread starts on chol hamoed and everyone comments how it is muttar, or there rav was mattir etc. But the people who don’t dtype on chol hamoed never write their opinion since it is chol hamoed