Archive 04/01/2022.

Site should be fixed now after port 80 issue


Hello folks–

Some strange issue happened with the site recently in which :80 was appended to links being generated from the site. These links did not work. If you see one of these links, just remove the :80 and it should work.

In any case, it should be fixed now.