Totally forgot about those.
They could just give us only the SE on the 4k UHD release, but they should be smart enough by now to know - 4k or no 4k, HDR or no HDR - that no one cares about buying the original movies yet again unless it’s the original versions.
If I had a penny for every time I’ve read some random person’s facebook / comment section post about wanting the original versions on blu-ray, I’d be an eleven thousandaire.