5. Bei Leerzeichen hat man schnell mal 3 Leerzeichen eingerückt. Oder 5. 6. Bei Tabs hat man das Problem nicht.

Das ist mir quasi noch nie begegnet. Nahezu alle Einrückfehler, die ich sehe, haben mit einem Mischmasch von Tabs und Spaces oder mit einer falschen Nutzung von Tabs zu tun. Spaces-Nutzer drücken halt auch Tab, um die Einrückung vorzunehmen. Die Taste erzeugt dann eben die passende Anzahl an Spaces. Das kann man an der Stelle meinetwegen sogar ein wenig schizophren nennen, es funktioniert meiner Erfahrung nach aber sehr gut, weil man eben auch sofort sieht, wenn was falsch eingerückt ist. (Was aber selten passiert, weil Tab eben trotzdem zu Modulo-4- oder Modulo-8-Offsets springt – durch Auffüllen mit Spaces.) Wenn man Tabs und Spaces mischt, sieht man die Fehler oft nicht, weil man bei Space+Tab genauso bei Offset 4 landet wie mit nur Tab. Dass da ein unnötiges Space vor dem Tab steht, merkt man nicht, wenn man sich die nicht-druckbaren Zeichen nicht darstellen lässt.

Natürlich sollte das nicht passieren, aber es passiert meiner Erfahrung nach ständig, dass sich da überzählige Leerzeichen einschleichen.

7. Wenn man bei Leerzeichen am Anfang in die Einrückung clickt, landet man irgendwo, aber nicht notwendigerweise bei 4, 8, 12, …
8. Bei Tabs hat man das Problem nicht.

Das ist theoretisch richtig, aber mir ist das nicht als praktisches Problem bekannt, weil man eben sofort sieht, dass eine Zeile, die 3 oder 5 Zeichen eingerückt ist, nicht plan mit einer Einrücktiefe von 4 ist.

Ich kann nicht verstehen, warum einige Entwickler immer noch Leerzeichen bevorzugen.

Sie sind eindeutig und nicht abhängig vom Kontext. Ich habe es hier anderswo etwas ausgebreitet, dass viele Anwendungen von einer Tab-Weite von 8 ausgehen, obwohl die Mehrzahl der Entwickler eher 4 will.

Ich würde die Frage deshalb umdrehen und fragen, worin der Vorteil von Tabs besteht.