Update file arm_hpc_devkit.md

doc.zih.tu-dresden.de/docs/jobs_and_resources/arm_hpc_devkit.md

@@ -31,14 +31,9 @@ After you have gained access, you can log into the developer kit system via SSH
 nodes:
 
 ```console
-marie@login$ ssh taurusa1
+marie@login$ ssh a1.misc.hpc.tu-dresden.de
 ```
 
-!!! note
-
-    November 2023: After the migration to Barnard: for now, until further notice, access remains via
-    the Taurus login nodes.
-
 ## Running Applications
 
 !!! warning "Not under Slurm control"