>anything specific to another device should go in that device's
>man page.  options(4) is for the rest.  options(4) could xref
>all the device man pages with options listed...

s/with options listed// ?

imho, any device driver that has options should detail them.  any
device drivers that share options should refer to options(4).
options(4) should detail any miscellaneous options and any options
that more than one device uses.

but that's just me.  :)

-- 
|-----< "CODE WARRIOR" >-----|
codewarrior@daemon.org             * "ah!  i see you have the internet
twofsonet@graffiti.com (Andrew Brown)                that goes *ping*!"
werdna@squooshy.com       * "information is power -- share the wealth."