Currently documented procedure in Chapter 2.4 is in theory correct but the method is not reliable. It suffers from possible race conditions where results of `server-del` command which is run internally on the removed server is not correctly replicated to other masters which leads to surprises(not deleted entries). It then needs to be resolved by running `ipa server-del $DELETED_SERVER_HOSTNAME --force`. This behavior won't be fixed soon (not easy).
Therefore it would be better to document a method which is more similar to pre-7.3 method:
otheripaserver# ipa server-del $TOBE_DELETED_SERVER_HOSTNAME
tobedeletedserverd# ipa-server-install --uninstall
other ipa servers can be obtained by running `ipa server-find`
Note: `ipa server-del` takes cares of both suffixes. No 'CS' variant like with `ipa-(cs)replica-manage` is needed.
The procedure in 2.4. Uninstalling an IdM Server has been updated as requested in c#0.
The update is now available on the Customer Portal.