> Do I understand correctly that '%% this is a comment' should not be in the PDF? Because it is when I compile the document.

Yes, with \asciimode “%” is a normal character but to put comments in your document you can use “%%”.