These system profiles are created by nixos-rebuild -p hdmi-sound-1
etc., so I suppose you did just that. You can indeed simply delete them: How to remove a NixOS system profile?
These system profiles are created by nixos-rebuild -p hdmi-sound-1
etc., so I suppose you did just that. You can indeed simply delete them: How to remove a NixOS system profile?