re: PDB format documentation.