Remove references to old options from doc

Ref. #616