Document player mods

[wjt]

This adds a new sections to MODS.md, explaining all the parameters of Player, including those I added in #6 which have non-obvious names & semantics. Previously we were relying on the tooltips to explain what they mean but:

1. Sometimes those don't show up, for unknown reasons.
   • Docstring tooltips not shown for Player etc. moddable properties in inspector #7
2. There's a limit to how much you can explain in a tooltip. For example, you can't link to the Wikipedia page about Wile E. Coyote from a tooltip to explain why Coyote Time is so called.

I also added a few miscellaneous linter & formatting tweaks, which are basically the same as:

• Miscellaneous CI/linting improvements godot-block-coding#318

[manuq]

The explanation is great and the new linter keeps things consistent, thanks.

By the way, yes you can add a hyperlink to Wikipedia from a tooltip with:

[url]https://example.com[/url]
[url=https://example.com]Website[/url]

See https://docs.godotengine.org/en/stable/tutorials/scripting/gdscript/gdscript_documentation_comments.html#bbcode-and-class-reference

[wjt]

Yes, but you can't click links in tooltips!

[manuq]

Yes, but you can't click links in tooltips!

Ah right. You can left-click the property and -> Open Documentation, where you can click on links. Hmm I'm not sure what is better. Having a MODS file for all the moddings. Or each class documenting its own moddings in the builtin documentation.

[wjt]

Hmm, OK, good point.

The nice thing about the MODS.md file is that it gives an overview of all the possibilities (in principle) in a single page. I don't think there is a way to make a page like https://docs.godotengine.org/en/4.3/tutorials/ui/index.html in the built-in documentation browser.