Add missing *.dox files, Python script.