I agree. I looked at the freedesktop.org bugs and couldn't find a dup, so I filed this bug: https://bugs.freedesktop.org/show_bug.cgi?id=15613
I agree. I looked at the freedesktop.org bugs and couldn't find a dup, so I filed this bug: https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 15613