Feature #2135: Update vm state diagrams