commit/vm: Jerry James: Fix texinfo file extension in EXPLICIT DOCS and enable DOCS_TEXINFO_EXTENSION.