[not subscribed, please Cc, thanks] Through the archives, me's watched this discussion with some bemusement.
Me'd like to see another option considered: just printing the device
name, instead of using the custom CPU* format.
No patch right now, might come tonight, claws full of other work :(
--zeurkous.
--
Friggin' Machines!
