Ja, das weiß ich 
Das Docker-Update mache ich gerade. Aber ich befürchte, ich werde es bei einigen der nächsten Rebuilds vergessen. Daher die Frage, wie man es persistent machen kann.
Eine andere Möglichkeit wäre, einfach das Launcher-Skript zu bearbeiten und auf nicht zu viele Rebase-Konflikte beim Pull zu hoffen