re-rendered .html to make sure I have the most up-to-date copy