Use JSON file to describe all available symbols and snippets. Also include a generator script that will generate the appropriate HTML code.