I am happy to announce that there is significant progress on Open Problem 9.2. of my notes, in this paper Bruce Hajek, Yihong Wu, and Jiaming Xu show that, indeed, for communities, the natural Semidefinite Program is suboptimal!
Congratulations to the three!