Thank you so much for providing the HTML5 plugin! Would you mind uploading the unminified sources to Github/Gitlab/Bitbucket etc.? That way other people might contribute to the development more easily.