GitLab

As noted in #3, these were apparently released without ever making it
into a commit. Thankfully changes are pretty harmless.