Hello, I filed a bug regarding a duplicate menu entries problem here: https://bugs.freedesktop.org/show_bug.cgi?id=11748 and attached my proposed fix: https://bugs.freedesktop.org/attachment.cgi?id=10907 - Lei