orip 177ff61483 Add type hints to plugin options where possible ...

This could help beginners to get autocompletion, catch mistakes earlier,
and allow them to skip the docs for simple configs.

This is not perfect because a lot of the plugins type all of their keys
as required, even though they have defaults, but this is good enough.

2026-02-27 20:43:08 +02:00

..

custom/plugins

Add type hints to plugin options where possible

2026-02-27 20:43:08 +02:00

kickstart

Add type hints to plugin options where possible

2026-02-27 20:43:08 +02:00