I don't think they're duplicates. This bug is about redundant display of identical URIs; bug 1353643 is about improved scoping for not-necessarily-identical URIs.
I don't think they're duplicates. This bug is about redundant display of identical URIs; bug 1353643 is about improved scoping for not-necessarily -identical URIs.