Typora: A truly minimal markdown editor