options-used-in-examples.pl: link to the new options man pages