http://zsh.sourceforge.net/Doc/Release/zsh_toc.html says This document was generated by Simon Ruderich on January 7, 2014 using texi2html 1.82. which doesn’t mention the zsh version it corresponds to