cosmetic improvements to github embed.