Display duplicates number in the menu. Fixes #624.

I postpone this feature waiting !622 (merged) to land (huge performance improvements expected, fixing the problem identified by @bnjbvr)