Thursday, June 11, 2015 at 11:21 AM @sriramk yes those are editors! (This is a serious answer--the article was written first to explain code to @Tyrangiel)