OK, finished and thanks for all the help. I gently but firmly cleaned off the surface dust with a rag dampened with water and Simple Green, then used a spray bottle to rinse and dry.
On the areas that had been patched with white plaster, I ragged on some red paint thinned with water just to...