Supplemented "Finite State Machine" section in Migration FAQ