A glossary for Virtual Machines and GitMachines