Use the released version of doctools.