> I've finally got this patch sorted; sorry for the delay. Could I ask > for comments on the attached? Looks OK to me. Could you try a "make dvi" before committing it?