| ▲ | skrtskrt a year ago | |
Update: I am already switched. Didn't get anything done at work since I already went down the customization rabbit hole, but it's nice. | ||
| ▲ | dizhn a year ago | parent [-] | |
Awesome! There are a bunch of user shared customizations in their github discussions area. | ||