GitLab

200), to avoid getting stuck on it

Lowercase GitHub Actions label and status

See merge request !2

Add _opam and .vscode to .gitignore

See merge request !1

This is visually easier, as uppercased labels turn into camelcase when
appearing in a row of badges.

It is also consistent with existing practice on shields.io, and the
manual badge examples presently on the osh website.

For:

- Local opam switches.
- Workspace settings for OCaml Platform VSCode extension.