Where can I find the org source code for orgmode.org/manual/Installation.html

Question

The title pretty much says it all: I'm looking for the "org source"¹ for the page http://orgmode.org/manual/Installation.html. (I want to replicate several aspects of that page's formatting.)

---

Many org-mode documentation pages (e.g. here) have a Show Org Source button, but the page I'm interested in is not one of them.

---

EDIT: To see what I mean by "org source", please click the Show Org Source in the page I cited. Alternatively, you can see it here.

What I'm not after is the HTML source that one can view by, for example, pointing one's browser to view-source:http://orgmode.org/manual/Installation.html.

---

^{1 Assuming, of course, that the web page in question was generated from an org document. This assumption could be incorrect; if so, please let me know.}

Answer 1

If you download org source, you'll see the manual is provided as a texinfo file (as well as info and pdf, both generated from texinfo).

However, some have tried to rewrite it in org. See this post from 2013 and this thread from 2015. They both link to a stale github repo that was last updated three years ago but since you only need it as an example it may be usefull for you.