documentation: Change obsolete Debian and Red Hat packages.