TeXlive 2017 im [extra]-Repo

Die Pakete zu texlive 2017 sind anders geschnitten als die zu 2016. Daher kommt es bei der Aktualisierung zu Fragen , ob man Paket a durch Paket b ersetzen will. Das kann man jeweils bejahen.