pull down to refresh

Not to me; I guess I wasn't absolutely right.

#3382 was closed without fix. Probably they use Claude.