The developers, , have moved away from maintaining a single static PDF for several practical reasons: