A programmer's text editor written in Rust