acl2 source: license-problem-non-free-RFC books/quicklisp/bundle/software/rfc2388-20180831-git/doc/rfc2388.txt
