This extension is required, as styling will be broken in many places and GitHub does not support all the features, only some.

Disclaimer: These notes are how I understand/interpret the lectures. It's likely that I have made mistakes, or haven't explained things in the best way. I have also added exercises based on the doubts ...