re-add OPTIONS to the manpage, which was accidentally removed in a previous push