Another things to consider (if you build docs locally) if to remove extractpdfmark. It is extremely slow.Ack.
Yes but let's not do that for the PDFs we eventually use for the website. The size savings are worth it for users - at least from the feedback we had when Hosoda-san came up with this.
Maybe, if it is so slow (and I guess that is a relative term), he can improve it?
James