Symbol: append_index_html