The tag devices serves no purpose. Can we please burninate?
I object. There must be separate tags: one for internal hardware and another one for pluggable hardware: printers, home routers, whatever. Someone would want to subscribe to one, not another. To have a separate tag for any device would make too many of them. [Peripherals] may be good replacement, but just dropping the [device] tag would loose the information and automatic renaming would bring confusion. Just leave it be.