Yesterday, I got emails from AlaskaLinuxUser (GitLab), thanking me, and saying both pages were fixed.