- Include latest versions of TLA+ into the document