diff --git a/docs/development/setup_development.rst b/docs/development/setup_development.rst
index 0ed9c02fd..9ceacd8c2 100644
--- a/docs/development/setup_development.rst
+++ b/docs/development/setup_development.rst
@@ -7,10 +7,8 @@ Overview
 --------
 
 SecureDrop is a multi-machine design. To make development and testing
-easy, we provide a set of virtual environments, each tailored for a
-specific type of development task. We use Vagrant, Molecule, and
-Docker and our Ansible playbooks can provision these environments on
-either virtual machines or physical hardware.
+easier, we provide a set of virtual environments, each tailored for a
+specific type of development task. We use Ansible playbooks to provision these environments on either virtual machines or physical hardware. We use Libvirt to manage our virtual machines, Docker to run them, and and Molecule to test the provisioning logic.
 
 Quick Start
 -----------