Document where translation happens in InteractionMachine.switch_state()