[PD-dev] is "pd64" the official name for double-pd?