Comment by hovav

> has already been patched against

... has not been (effectively) patched against, as it happens. Maybe in December!