It's unlikely that we'll ever want to support multiple pointer devices. Multiple keyboard devices may become useful in the future, but for now, only care about the core keyboard. https://bugzilla.gnome.org/show_bug.cgi?id=688779