minor: excluding singlehtml search box
build: adding contingency for newer sphinx versions