I say redirect if it's easy (I think we do it in ipython-website somewhere), or just rename back to htmlnotebook.