Integration script needs to patch DevDocs internals in a different way.

Somewhere along the way, DevDocs's own initialization is being messed up.

Hopefully an API will be added: freeCodeCamp/devdocs#1157