pull down to refresh

Not to me; I guess I wasn't absolutely right.
#3382 was closed without fix. Probably they use Claude.