Expecting lots of push back to reduce push_back. These are extremely minor micro-optimisations, so feel free to just close the issue based on that.
PS: There are also a number of other minor optimisations whence elements are individually push_backed in succession, that could be replaced through a trivial vector::insert of a list (brace) initialisation.
What do you think? - Worth caring about / merging, or best to close a PR for such minor an optimisation?