Man pages matching name decnet.proxy in section 3: