29aa2dd17b
(2) Use 'device' instead of 'device name', there seems to be a precedent in /usr/share/man/man1 Prompted By: bde