Split gitHub into gitHubWeb and gitHubFlavored (dart-lang/markdown#188) Split gitHub into gitHubWeb and gitHubFlavored