<div dir="auto"><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Yes, there are some minor deviations from RFCs like in this case.<br>
It is true that we should explicitly document them.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">It will be so appreciated from users and future users. </div><div dir="auto"><br></div><div dir="auto">Thanks, </div><div dir="auto">Mattia</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>