This section claims the existence of a collections crate which can provide Vec and HashMap implementations.

I don't believe such a crate exists. Nothing comes up in crates.io. Vec is provided by alloc crate, but HashMap is not.