There should be a simple way to switch grammar bot off… In fact paid users should be able to switch all additional tools of. Couple switches in Settings->Learning is a must. Grammar bot annoys more than helps. I wouldn’t mind switching other things off from time to time.
I seriously consider that to be a bug!