feature/package-vc has been merged

[Philip Kaludercic]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

>> OK, I've merged master into feature/package+vc, resolving all conflicts
>> and would be prepared to merge feature/package+vc if there are no
>> further objections.
>
> No objections on my side,

I have merged the branch onto master, so if anyone wants to fix,
add/remove or improve anything, feel free to do so.