Formatting; Added sections on languages, toolchains, coverage, animations.