Change 4.51/PH/05 wasn't implemented quite correctly. I think I've now
drwxr-xr-x - configs
drwxr-xr-x - doc
drwxr-xr-x - src