diff --git a/proxmox/proxmox-provisioning.org b/proxmox/proxmox-provisioning.org
index 37b3cc2..94f6cc0 100644
--- a/proxmox/proxmox-provisioning.org
+++ b/proxmox/proxmox-provisioning.org
@@ -2,8 +2,11 @@
 #+author: Kevin Muller, Hans van Zijst & Nicolas Jeannerod
 #+date: <2024-10-25 Fri>
 
-* Quick links
-- Fediversity Proxmox :: http://192.168.51.81:8006/
+* Fediversity Proxmox
+- http://192.168.51.81:8006/.
+- It is only accessible via Procolix's VPN; see with Kevin.
+- You will need identifiers. Also see with Kevin. Select “Promox VE authentication server”.
+- Ignore “You do not have a valid subscription” message.
 * Basic terminology
 - Node :: physical host
 * Preparing the machine configuration
@@ -11,12 +14,17 @@
   #+begin_src nix
   services.qemuGuest.enable = true
   #+end_src
+- Choose name for your machine.
 - Choose static IPs for your machine. The IPv4 and IPv6 subnets available for
   Fediversity testing are:
-  - 95.215.187.0/24. Gateway is 95.215.187.1.
-  - 2a00:51c0:13:1305::/64. Gateway is 2a00:51c0:13:1305::1.
-- Check [[https://netbox.protagio.org][Netbox]] to see which addresses are free
+  - ~95.215.187.0/24~. Gateway is ~95.215.187.1~.
+  - ~2a00:51c0:13:1305::/64~. Gateway is ~2a00:51c0:13:1305::1~.
+- I have been using id ~XXX~ (starting from ~001~), name ~fediXXX~, ~95.215.187.XXX~ and
+  ~2a00:51c0:13:1305::XXX~.
+- Name servers should be ~95.215.185.6~ and ~95.215.185.7~.
+- Check [[https://netbox.protagio.org][Netbox]] to see which addresses are free.
 * Upload your ISO
+- Go to Fediversity proxmox.
 - In the left view, expand under the node that you want and click on “local”.
 - Select “ISO Images”, then click “Upload”.
 - Note: You can also download from URL.