Use the real 0.7.18 docs.