[yorwba]

Why don't you just compute the HTML Codes from the Unicode codepoints?

[inex]

Valid point, but that would require server- or client-side processing, right?

I intended with the list in JSON to deliver a as solid base as possible for anyone available to process it like needed.

However, any recommendations for optimization’s or alike are very welcome!