Ich halte das für eine bessere Reihenfolge.

Werden jetzt (nach Corona) nicht mehr benötigt.

Einfacher -- kürzer -- allgemeiner

Ich kommentiere es vor jeder Vorlesung neu aus.

Fix missing ci

See merge request !5

Bisher wollten sie auf dem CI-Server nicht bauen.  Das Problem
ließ sich durch ein Update auf eine neuere Version von TeXlive
beheben.

Passt zeitlich besser.

Kürzer und (ich hoffe) besser verständlich.

Es lohnt sich in diesem Fall nicht, macht aber die Handhabung
komplizierter.

Sie wurde nie verwendet.