This seems like a very obvious question, but I couldn’t quickly find an answer.
Based on the code here I understand that plugins can have some HTML in their output.
Is there a list of valid HTML tags that plugins can use?
In particular I would like to turn something link:
ERROR: Please check https://example.com
into the same thing but with a clickable URL.