This is a follow-up to commit ed66439d .

* packaging/packaging.pdf: Recompiled file.