[doc] remove reference to unimplemented options in user manual

5 jobs for cmd-line-args-fix
latest
Name Stage Failure
failed
git-update Git Update There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log