game-server Das (ehemalige) Server-Modul von Team020. Die Syntax-Highlighting Erweiterung für die Story-DSL findet sich hier.