AVX10/128 is a silly idea and should be removed from the specification

Comments ( https://news.ycombinator.com/item?id=37851029 )

https://chipsandcheese.com/2023/10/11/avx10-128-is-a-silly-idea-and-should-be-completely-removed-from-the-specification/