Prelude option `mouse_clicks` is missing in documentation src/Documentation/prelude.html

[BdR76]

The prelude option mouse_clicks is available in the autocomplete when typing in the editor, but it is missing in the documentation, see file src/Documentation/prelude.html

It is only referenced in src/Documentation/mouse_input.html

[david-pfx]

Thanks! It's missing in the prelude section but documented in mouse_clicks. Just needs an entry and a link in the prelude section.

Looks like something that should be fixed. Feel free to do a PR if that's your thing.