GitLab

The ghci command list is now much larger than it used to be, and it
tends to go out of sync with the docs anyway.