Go with the released version of doctools.