🐛 Repetitive HTML characters escaping

[AyhamAl-Ali]

Original example: "message \"You're holding a <%color of tool%>%color of tool%<reset> wool block\"

Result

[Romitou]

This is because escaping is carried out several times. As the & are replaced by &, the escaped value is escaped again and again.
https://github.com/SkriptLang/Skript/blob/master/src/main/java/ch/njol/skript/doc/HTMLGenerator.java#L598-L601

[Moderocky]

This generator seems a bit chaotic in general, maybe we can use something like hypertext instead?

[Romitou]

Personally, I think it would be a good idea to generate client-side documentation with lazy loading. Provide the docs.json file in a versioned way on each deployment and then do the magic stuff on the client side. This seems to me to be much simpler in terms of managing the documentation and in terms of the developer and user experience, but I understand that the team might not necessarily want that.