GitLab

We recently decided to standardize on lowercase
for issue board. Previously we were using it
inconsistently. (Sometimes title case, sometimes
lowercase.) Related to: https://gitlab.com/gitlab-org/gitlab/-/merge_requests/68387