A fast, minimalist, and extensible cross-platform text editor