Regarding Document

An important use, of a subsystem as a Finite State Machine and its dependent commands as States of that FSM upon a trigger/button event to initiate a transition from one state to another, depends on the following sequence:

the end method of the current (interrupted) command (state) is run before the initialize method of the new (interrupting) command (state).

Using state exit and enter like this somewhat special case depends on the user correctly specifying a FSM as a subsystem and that subsystem being a requirement of all the commands that reflect states of that FSM and the commands can be interrupted by subsequent commands.

WPILib supports that sequence and adding detail to the documentation to describe that case works would help users.

ChiefDelphi reference