Yes, there are some minor deviations from RFCs like in this case.
It is true that we should explicitly document them.