Code maintenance related to vectorization
This is a series of uncontroversial individual changes related to vectorization that I factored out from !352 (closed). I open this as a MR in case someone wants to have a look.
This is a series of uncontroversial individual changes related to vectorization that I factored out from !352 (closed). I open this as a MR in case someone wants to have a look.