Seems that Github is recognizing that more and more non-dev types are interacting with Github in various ways and are providing tools to help them out. I suppo

Seems that Github is recognizing that more and more non-dev types are interacting with Github in various ways and are providing tools to help them out. I suppose it's fine, and certainly easier than teaching newbies Github-flavored markdown. One complaint: Using the aA icon to hide the different headers menu. Headers are not just "bigger text" as the icon indicates. They should use a different icon that indicates its for headers and has nothing directly to do with font-size.