Nothing much in here.

Initially, there was a web version for these docs, built with MkDocs. But then I decided to use plain markdown for better navigation locally.