Many apps, including Spotify, support this functionality and allow you to mix Portal's audio with another app and then AirPlay the two.
Unfortunately, due to limitations outside our control, other apps such as Apple Music, Apple Podcasts and iPlayer don’t allow you to mix Portal’s audio with another app and AirPlay at the same time.