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)
Edited by Antoine
I postpone this feature waiting !622 (merged) to land (huge performance improvements expected, fixing the problem identified by @bnjbvr)