Anhand der Revisionsnummer konnte ich erkennen, dass die neu kompilierte Firmware zwar irgendwie fehlerfrei hochgeladen, aber irgendwie nicht übernommen wurde!? Keine Ahnung wie das gehen kann. Jedenfalls ging es nach einem „Erase Flash“ und erneutem Upload. Anstoß dazu hat mir dieser Forenbeitrag gegeben ESP32 lässt sich nicht mehr flashen. Vielen Dank dafür.