T8.3: Convert `goal.apt` to Markdown and

... make `README.md` out of it