"doc/html/_static/documentation_options.js" did not exist on "4a7fc7a525531b2e2a03a5deb784604b36808c1a"