After several drownings of WD 40, the derailer seemed clear of crud but still did not shift to the lsmall chain ring. I got a can of Breakfree out of the gun box. One good dose of that at the shifter is back to normal.
This just confirms what I already knew - WD-40 is a good cleaner but a terrible lube.