Finished documenting (and very mildly refactoring) Packet.mli.
Merge.
Merge.
Merge merge merge.