Add some comments, and use `covered markup`.

`covered markup` is similar to `hpc markup`.