RO:system vs HDO:system
currently we have two definitions for system: one from RO and one from HDO. This should be disambiguated.
Edited by Volker Hofmann
currently we have two definitions for system: one from RO and one from HDO. This should be disambiguated.