Yeah. That was just weird. As long as it's printed on pieces of dead tree then it's okay to export even if it was made to be easy to OCR! I've got a copy of Applied Crypto and that also was legal to export