Exiftool shows “sRGB-elle-V4-srgbtrc.icc” is embedded. It still doesn’t show up in Image Properties in 2.8. Nor does it show up in the “Convert to RGB working space?” dialog box on opening the file.
It’s annoying, but not the end of the world. I was concerned that the profile had become disembedded (is that a word?). Exiftool confirms that it is embedded so I can live with that.
Thanks for all your help.