Many thanks for those helpful replies, Steve.
Incidentally, I have posted a report about one (24/192) recording that sounded much better to me without dither added again on export, and many others (both 16 and 24 bit) that at least sound no worse to me, at https://forum.audacityteam.org/t/howto-remove-dither-noise-from-silence/15692/10