Is this true with a dev edition running OF1?
Should be true for either bootloader locked (retail) or bootloader unlocked (dev ed) phone.
Strictly speaking, I don't think there were any phones sold as "Developer Edition" that were on OF1 - so I suppose you mean "retail phone on OF1 converted to dev ed by rooting and unlocking the bootloader thereafter"
Just note that
in either case, the bootloader will end up being locked, but the CID will not revert to the original retail CID value. And (as mentioned above) NK1 does not have an easy method of rooting* if that is a concern.
* a complicated way of achieving rooted NK1 would be to make a flashable, pre-rooted NK1 ROM and install it while still on (unlocked bootloader) OB6/OF1 firmware, and then immediately follow that up by Odin'ing just the bootloader components of NK1.
(Flash pre-rooted NK1 stock ROM using a custom recovery; boot immediately to Odin to install only the NK1 bootloader components; boot into pre-rooted stock ROM and then re-unlock the bootloader. Doing things this way avoids boot failures during the time the bootloader is temporarily locked because a Samsung-signed kernel is in place during the locked time. And pre-rooting means that you don't need to find a new exploit for NK1. Moreover, it doesn't attempt to boot a Samsung kernel that has TIMA measurements which differ from those expected by the TZ measurements stored in the bootloader: the boot takes place with bootloader firmware and kernel held in version lock-step.)
cheers
PS. As always, make full backups of everything before you begin and get copies of them off the phone. You should assume that an accident could always happen which will necessitate a full wipe of the phone.