Document ADT/PackedVector.h in "Programmer's Manual" doc.