Ask HN: Does Anyone Know What Text Editor Digital Ocean Use?

Recently came across this article on digital ocean. https://www.digitalocean.com/community/questions/how-to-install-zip-in-ubuntu

Their text editor at the bottom is lovely. Had a quick look a source but can't work it out.

Anyone know or can recommend something very similar for wordpress?