pull down to refresh

You're right. I wrote "Linux world" to include the wider landscape of open source dependencies, programs etc that are popular in the community. Forgot that in the last paragraph.