doc: More braindump around Finite State Machines