The new court ruling is already about the GPLv3 - the self-healing clause still allows a copyright holder to terminate the license of a violator if they choose

The new court ruling is already about the GPLv3 - the self-healing clause still allows a copyright holder to terminate the license of a violator if they choose to exercise part (a) of your quote after a notification of violation which meets the requirements to avoid part (b). I assume that the copyright holder chose this path because their notice requesting compliance was ignored.