Thanks Nicolas,

I'd like to test your fix but I'm a github newbie (*).  Where did you check
it in?  I don't know if it's melpa or elpa, or if the fix is in a personal
account or something official.  Is there a standard way everybody
contributes their fixes?

Scott

(*) For the same reason, I still haven't been able to test the other dvips
customization fix you recently made.