GUI improvements
- #81 DPI awareness improved by using multi-resolution icons.
- #1133 New L&F option as workaround for lacking status indication on icon-equipped checkbox menu items under Windows 11.
- #1228 Executor is to provide more sensible time information in the console window.
- #1229 Linux shell script modification for non-reparenting window managers.