reorganize examples

artiq/examples/kasli_opticlock/device_db.py

@@ -1,5 +1,4 @@
 # This is an example device database that needs to be adapted to your setup.
-# The RTIO channel numbers here are for OPTICLOCK on KASLI.
 # The list of devices here is not exhaustive.
 
 core_addr = "vettel.ber.quartiq.de"

artiq/examples/kc705_nist_clock/device_db.py

@@ -1,5 +1,4 @@
 # This is an example device database that needs to be adapted to your setup.
-# The RTIO channel numbers here are for NIST CLOCK on KC705.
 # The list of devices here is not exhaustive.
 
 core_addr = "kc705-1.lab.m-labs.hk"

artiq/examples/sayma_drtio/device_db.py

@@ -1,4 +1,4 @@
-core_addr = "sayma1.lab.m-labs.hk"
+core_addr = "sayma-1.lab.m-labs.hk"
 
 device_db = {
     "core": {

artiq/examples/sayma_standalone/device_db.py

@@ -1,4 +1,4 @@
-core_addr = "sayma1.lab.m-labs.hk"
+core_addr = "sayma-1.lab.m-labs.hk"
 
 device_db = {
     "core": {