benchmarks

2023-08-04 Choosing the default text editor