pull down to refresh

I see, it's a concise example. If the variable is to be used repeatedly, not writing its complete name at each occurrence is a dependency time-bomb. I guess in my case I didn't considered that because I never do that, so "readability" is enough, but you are right, greppability is also needed for an overall robust result.