pull down to refresh

In practice that's what happens. The one tool I settled with, obsidian, is the only one that was brought to me directly. But I like to deplete possibilities, at worst you learn other ways to not to do things.