It’s nitpicking, whether it runs at 3840x2160 or 4096x2160 does not matter. Same goes for calling it 4K or UHD, even when one is technically incorrect.
If even Sony calls their 3840x2160 blu-rays “4K UHD” I’m fine with the average person using them interchangeable.