Using exiftool, a jpeg with your V4 profile retains the profile from import through to export, even when exported with a new name.
Please don’t spend quality Sunday time on it! As long as I know it hasn’t become disembedded, I can live with it. I’ll likely be switching to 2.9, anyway.
I do appreciate your looking into this for me, Elle. Thank you.