Add documentation of PolyTeX code inclusion