Por que tantas opções no menu do gear editor?

Obrigado pela sua resposta!

Não tenho certeza de como instalar o tema, mas consegui aplicar um patch no seu componente original da seguinte forma:

<script type="text/discourse-plugin" version="0.8">
  const container = Discourse.__container__;
  this.capabilities = container.lookup("capabilities:main");

  if (this.capabilities.touch) {
    withPluginApi("0.8", api => {
        api.onToolbarCreate(toolbar => {
          toolbar.addButton({
            id: "code",
            group: "insertions",
            icon: "code",
            preventFocus: true,
            trimLeading: true,
            action: "formatCode",
          });
        });
      });
  }
</script>

O CSS permanece o mesmo.