dead/packages: links for ppxml2db