Yes, all of that is correct.
You can control slave Dosers, one KHD and one IOND with a Doser SA and you can degrade a Doser SA to a slave via the general settings to control it through a ProfiLux.