pull down to refresh

Another issue is that the ⚡ Unicode symbol gets rendered as an emoji when typed. A currency symbol that is an emoji will never be taken seriously. We could use ϟ instead, but it looks Harry Potter's scar reversed. There's ↯ as well, but it's too bearish.