Man pages matching name setopt in section 3pvm: