doc: get rid of removed options

submitted by Marc Jessome some time ago.