Merge branch 'doc-improvements' into 'main'
authorEmmanuele Bassi <ebassi@gmail.com>
Sun, 8 Jan 2023 22:16:49 +0000 (22:16 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Sun, 8 Jan 2023 22:16:49 +0000 (22:16 +0000)
Two docs improvements

See merge request GNOME/gtk!5406


Trivial merge