a sphinx extension which renders HTML help files
