Notfalls hätte ich wieder neu installiert, dauert ja nur ein paar Minuten.
Das ist die richtige Einstellung
Generell ist es so das die Treiber von der offiziellen Seite neuer sind, aber auch nicht immer zu 100 % stabil. Die aus dem non-Free-Repo sind getestet und auf die Distro abgestimmt. Kommt drauf an was du willst. Wenn die 4080 nicht mit die Repo-Treiber läuft müsste man es natürlich mit Dem direkt von Nvidia probieren.