Regenerate anytime with
docfx template export default
Technically, this can be deleted from the Terminal.Gui project, but it's left in place for convenience.
See https://dotnet.github.io/docfx/tutorial/howto_create_custom_template.html