Alice Mikhaylenko authored Oct 29, 2018 and Shaun McCance committed Oct 04, 2020

This is intended to be used for easier hacking, similarly to Settings.

gnome-user-docs and gnome-getting-started-docs aren't strictly required
for building, but they provide content to be displayed.