default apps

2023-08-04 Choosing the default text editor
2019-07-05 On Display Managers