If the source package name is different than the package name, include it
in the list of other bug pages to visit.
} else {
print "You may want to refer to the following individual bug pages:<br>\n";
}
+ push @pkgs, $src if ( $src && !grep(/^\Q$src\E$/, @pkgs) );
print join( ", ", map( "<A href=\"" . pkgurl($_) . "\">$_</A>", @pkgs ) );
print ".\n";
}