Manually add the changes from the last p-config.sgml update.