PDF format (was: Re: BitKeeper licence critic)