Proton is now indexed as Proton-Bobcat

This removes a duplicate entry in the index.