Fixes:
- Text search in style manager.
- Live reload -> config dialog -> the UI will match the updated source now.
Known bugs:
- Publishing a new style on userstyles.world doesn't set the name/description/code.
The workaround is to copypaste the values manually.
Fixed in nightlies via 41cc1dc.
Full Changelog: v2.3.9...v2.3.10