Use the released doctools.