Where do I add stuff to the Hyperbole manual?

[Plasma Strike]

I am looking to add something to the install docs but I noticed there
is the same Hyperbole manual. I assume they are generated and would
like to know which one I should add it to. Would you prefer a diff
or github pull request?