Add documentation for coordinator FSM.