How does the GJS documentation pipeline work with DevDocs?

Question

I’ve noticed that GJS documentation uses DevDocs.

I’m trying to understand the documentation pipeline for GJS:

• Does it read comments from the source code and generate documentation automatically?

• Do we first generate JSON using JSDocs and then push that to DevDocs?

• What needs to be done on the DevDocs side to make use of the data generated by JSDocs or some other tool?

I’d like to understand the full pipeline from source code to JSON/index to DevDocs.