(#3544) Document standard universe "AVX" fixes.