[gjs: 2/2] Merge branch 'wip/andyholmes/devdocs-scraper' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit 5719874a7551aa5fcf7a96e35b4fe9828440d2fc
Merge: e86716d81 f81bccefe
Author: Philip Chimento <philip chimento gmail com>
Date:   Sun Aug 28 01:03:20 2022 +0000

    Merge branch 'wip/andyholmes/devdocs-scraper' into 'master'
    
    doc: reformat for better scraping with DevDocs
    
    See merge request GNOME/gjs!792

 doc/ByteArray.md   | 118 ++++++--
 doc/Console.md     | 314 +++++++++++++++++++++
 doc/ESModules.md   |   2 +-
 doc/Encoding.md    | 152 ++++++++++
 doc/Environment.md |  10 +-
 doc/Format.md      | 123 ++++++++
 doc/Gettext.md     | 233 ++++++++++++++++
 doc/Home.md        |  87 +-----
 doc/Lang.md        | 141 ++++++++++
 doc/Logging.md     | 167 ++++++-----
 doc/Mainloop.md    | 213 ++++++++++++++
 doc/Mapping.md     | 280 +++++++++++++------
 doc/Modules.md     | 384 ++-----------------------
 doc/Overrides.md   | 806 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 doc/Profiling.md   |   6 +-
 doc/README.md      | 104 +++++++
 doc/Signals.md     | 103 +++++++
 doc/System.md      | 262 +++++++++++++++++
 doc/Testing.md     |  23 ++
 doc/Timers.md      |  77 +++++
 doc/cairo.md       | 140 +++++++---
 21 files changed, 3046 insertions(+), 699 deletions(-)
---