Bring the discussion of AVERT up to date (it's not type-safe in the cool variety).