Markdown formatting
Fixed link
Init
You can also use your local clone with git send-email.
Write-up: pending
Formalisation: y_and_j.v