hljs version bump; github is new default theme