Re: Consider removing dependence of PDF ID field on current directory name

    With that in mind, could printID be changed to avoid depending on the 
    current directory name, either by default

I think we can change it by default. Patches welcome. Else I will get to
it when I have a chance, which won't be for quite some time. --thanks, karl.