No, I installed them.
Samsung had marked them as being non-uninstallable via the Android Settings UI, so I used `adb -d shell pm uninstall --user 0 <packagename>` to forcibly uninstall them, although (as I said) the code is still in the rom.
Simply disabling them could be done using the UI, or with `adb -d shell pm disable <packagename>`, but they'd still be cluttering the apps list - which is not what I wanted.