Thanks, Nelson. I appreciate the help. Unfortunately the link you posted is the same one we have all been referring to for over two months now, and the instructions it links to, https://support.microsoft.com/en-us/topic/kb5028997-instructions-to-manually-resize-your-partition-to-install-the-winre-update-400faa27-9343-461c-ada9-24c8229763bf, on how to manually resize the WinRE partition, are the same ones I and others have been using all this time. As my post of March 7 describes, those instructions have worked on most of my Win10 machines. I now have successfully re-sized the WinRE partition on three Win10 machines, so I am quite comfortable with the process.
However, the resizing process keeps failing on a fourth Win10 PC (which otherwise has all updates installed), I have run the instructions for manually resizing twice. As a result, in DISKPART when I run LIST DISK it now shows that my SSD disk has 500 Mb free -- this is because the procedure frees up 250 Mb from the system partition, and I have run that procedure twice. However, when I delete and then recreate the WinRE partition, during the re-creation the free space is not being utilized, and the newly created WinRE partition is exactly the same size, 510 Mb, as the old WinRE partition I deleted. Today I tried to re-size the WinRE partition using these instructions and it still fails. The free space again is unused, and the WinRE partition again is the same size.
If someone has ideas on why the resizing fails, and what I can do about it, that will be much appreciated!