AVX512

1. redirect AVX-512

{{R cat shell|

{{R from alternative hyphenation}}

}}