When HTML documentation is built, Sphinx copies all files from themes/basic/static/ to the build’s _static directory. Out of 11 image files there, 8 are only needed when websupport is in use, which...