Playlist: PTR doesn't refresh from media library

When using Pull To Refresh from the playlist pane, it appears the media library isn't reloaded, while it probably should.