Danke für die ausführliche Antwort, das hilft mir sehr.

Mir ist allerdings noch was eingefallen: Gibt es außer GitLab noch andere Möglichkeiten für das kollaborative Arbeiten mit LaTeX, die ich kennen sollte, bevor ich diese Diskussion mit meinem Laborpartner führe?
spam lang_mismatch quality toxicity