@Kristian da mußt du dich glaube ich an @Mark Nowiasz wenden, der den server betreibt.
und wenn wir schon dabei sind, wie ist's mit dem markdown editor mark? der kann sogar im "normalen" theme enabled werden, aber scheinbar nur vom admin, nicht von einfachen benutzern. an den hatte ich mich auf meiner eigenen hub gewöhnt, vermisse ihn aber hier.