HTML-formatted email notifications in GroupServer