man: get rid of useless reference to GNU style options

No need to state the obvious here.