Moved back to htmlnotebook.txt
htmlnotebook is correctly built by Sphinx