Fixed several documentation errors after Hinxton meeting
Fixed missing syntax coloring