Yes sure, but not very comfortable for users who don’t want to write special html-syntax. I already tried the html-syntax but refused to use it because it would be exported as you mentioned. I came up with my own solution. However, the percent sign syntax is more convenient, it leads to better compatibility and to a more meaningful appearance in editor by displaying the comment greyed out.