Frozen archive redirect

12/10/2023: not much happened today

This older issue lives in the static archive. If you are not redirected automatically, open the archived issue.