I'm not up to date on IDF operations but for a government agency building a botnet would be so cheap and simple (like cheaper than printing posters cheap) I can't imagine that they wouldn't do it. I found this without much looking. Granted this guy is a private contractor but former IDF. Israel famously has well funded and developed cyberwarfare and propaganda/"PR" capabilities too, so I bet social media manipulation would be wrapped in one of those arms.