Some Python code for (pre)processing PED files.