Hacker News Reader

I'm not sure if it was recently added since I never checked before but you can filter to see only music that's available offline.

Yeah - it's there, but you need to pull up on the "my music" page, select that filter, etc.

In iOS Music you used to need to go into the Settings app.

This should Just Work.