Create all-symbols.html