code: def toggle_rich_text(self, checked):
          
          if checked:
              self.docstring = not checked
              self.switch_to_rich_text()
          self.set_option('rich_mode', checked)
docs: Toggle between sphinxified docstrings or plain ones