Docs about VM state transitions