documentation for --enable-idl-rewrite-equalities option