IMGAPI-445: IMGAPI serving of /docs/ is broken