Toggle comments on MIRI Research Guide