Kent, I moved this to the task force area to avoid confusion for the eventual users of the Encyclopedia as we sort these things out.
The two categories differed in capitalization. One had all three words capitalized and the other only the first word.
I merged them and deleted the one with first word capitalized. There was also a bug entry in the one that remained that came from a problem with the wiki some time back and I removed it.
There are no tools that I know of to do this, but it is a relatively easy database edit.