pull down to refresh

no worries
I just realized I didn't exactly copy the behavior from Github. On Github, the formatting undoes itself when applied again. However, CTRL+Z still works.
reply