Hello, I wrote:
> We could also try using "device_type" or "name" properties to name the
> of_device -- this name doesn't matter much anyway...
Now, after looking thru some code, I think using the "name" prop is indeed
the way to go...
WBR, Sergei