AFAICT, now that there's no need for the `*()` hack, there's no need to store `Box<Vec<...>>` here; just `Vec<...>` will do.