Hutterer: GNOME tablet support papercut fixes

Peter Hutterer has written
a summary of 'papercut fixes' for GNOME tablet support that are
planned to ship with GNOME 47.

If you're an avid tablet user, you may have multiple stylus tools -
but it's also likely that you have multiple tools of the same type
which makes differentiating them in the GUI hard. Which is why they're
highlighted now - if you bring the tool into proximity, the matching
image is highlighted to make it easier to know which stylus you're
about to configure. Oh, and in the process we added a new SVG for AES
styli too to make the picture look more like the actual physical
tool. The <blink> tag may no longer be cool but at least we can disco
our way through the stylus configuration now.