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.
