GitLab (git.doit.wisc.edu) has been upgraded to version 17.5.2. For more, see: https://about.gitlab.com/releases/2024/10/17/gitlab-17-5-released/
This should make the google search for "opto rienstra" work well.
