the procedure works

howto/new-machine-cymru.md

@@ -570,19 +570,18 @@ documentation](https://www.dell.com/support/manuals/en-ca/idrac7-8-lifecycle-con
 
 ### IP address change
 
-WARNING: This procedure did not work last time it was tried, it might
-need to be changed.
-
 To change the IP address of the iDRAC itself, you can use the `racadm
 setniccfg` command:
 
     racadm setniccfg -s 172.30.140.4 255.255.255.0 172.30.140.1
 
-It might take a while for the changes to take effect. In the [latest
-change](https://gitlab.torproject.org/tpo/tpa/team/-/issues/40097#note_2718312) we actually lost access to the RACADM interface after 30
+It takes a while for the changes to take effect. In the [latest
+change][] we actually lost access to the RACADM interface after 30
 seconds, but it's unclear if that is because the VLAN was changed or
 it is because the change took 30 seconds to take effect.
 
+[latest change]: https://gitlab.torproject.org/tpo/tpa/team/-/issues/40097#note_2718312
+
 More practically, it could be useful to use IPv6 instead of
 renumbering that interface, since access is likely to be over
 link-local addresses anyways. This will enable IPv6 on the iDRAC