Change from innerHTML to innerText

[Danielku15]

Discussed in #2316

We currently use innerHTML to load various bits like alphaTex from the DOM. Using innerText is what we actually need in most cases. Especially the case mentioned in the discussion above.

Before actually changing we should check if there are any negative implications of changing. Especially in case of DOM scaping and how we parse things.