2023-12-19 UTC
# 
[tantek] I wonder if that's also because of the GitHub React mobile breakage (supposedly they're fixing bugs) https://news.ycombinator.com/item?id=33576722 (second comment there with "this UI really sucks on mobile (at least on iOS)."