→TexInfo: improve external link: the new link allows user to choose from single-page manual and one-page-per-node manual (and even more); HTTPS is more secure
== TexInfo ==
This is the preferred format for help text. There is also a comprehensive [httphttps://www.gnu.org/software/texinfo/manual/texinfo/html_node/index.html TexInfo manual].