GitLab

Also, mention that help texts can now be searched through, update
a copyright notice, and update and simplify a copyright year.