pull down to refresh

Did you search for "10%"?
Fair point 👀
But that would be too fast. Too easy.
Much better to skim-read the entire document and then be chagrinned when you can't find what you're looking for.
reply