Schau mal in den ersten Beitrag, da ist kein
multiverse
eingetragen.
Hatte ich doch gesehen ☺ bzw. hat raimor es ja auch entspr. mehr oder weniger sinnvoll Markiert. Ich bin aber in diesem Fall von meinen eigenen Einträgen ausgegangen 😇
Ob da inzwischen etwas gemacht wurde können wir natürlich nicht wissen.
Muss Er selber Entscheiden, denn wenn Er im April 2020 das/die Upgrade/Neuinstallation auf 20.04 macht, muss man da auch nicht in seiner sources.list herumfummeln.