I saw Portishead in that same festival, but the year before (in 2013).
One of the most boring shows I've ever seen. I should say "I double-saw Portishead" because drinking like a German was the only way to have a minimum amount of fun during their concert.
Have Mixlr bumped their bitrate? I always used to feel things sounded quite hollow and compressed coming through Mixlr, but this sounds pretty good. Couldn't tell it apart from 192-256 kbps MP3.