diff --git a/INSTALL.md b/INSTALL.md
index 632137c..2e34666 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -149,6 +149,8 @@ region's version.
 ## Integrations
 
 - **NetBox (or Infoblox) as the address authority.** `ipam` in `config.json`: see README, External IPAM.
+  With NetBox, `ipam.device_sync` also keeps the machines as devices (README, Devices in NetBox);
+  `lab/netbox/install.sh` sets up a throwaway NetBox for trying it.
 - **The site's DHCP server keeps the addresses (proxy DHCP).** `dhcp_reservations` writes machines'
   planned addresses there as fixed leases (Kea 3.0+, OpenWrt): see README, Fixed leases.
 - **DNS names without an IPAM authority.** `dns` in `config.json` (PowerDNS API or RFC 2136