remove stale option from documentation