Created attachment 74452 man_device_not_mandatory.patch
Here's a more thorough patch. This removes one more mention of the mandatoriness of this optional parameter.
Created attachment 74452 not_mandatory. patch
man_device_
Here's a more thorough patch. This removes one more mention of the mandatoriness of this optional parameter.