Moved htmlnotebook.txt to htmlnotebook.rst to use GitHub rendering