Corosync: Removing a Cluster Node

On the host to be removed:

Find and record the node's Corosync id: crm_node -i

Stop the cluster: /etc/init.d/corosync stop

Next, from one of the remaining active cluster nodes:

Tell the cluster to forget about the removed host: crm_node -R COROSYNC_ID

Only now is it safe to delete the node from the CIB with:
cibadmin --delete --obj_type nodes --crm_xml ''
cibadmin --delete --obj_type status --crm_xml ''