Not sure why not mention the airline in the post directly. Is this some kind of avoiding advertising for the brand? Really curious. Can't be click bait or SEO on hn.
Ironically, probably just sleepiness - I was posting from bed with an infant that wakes up periodically. Sadly WiFi is not opt-in in my bedroom :-)
It was Finnair from Berlin to Seoul, via Helsinki.
Edit: I found a YouTube video showing a version of this feature from 8 years ago, but I think the one I saw was a bit more refined: https://youtu.be/5-CrsPAZslg - still, interesting that it's this old and I haven't seen it anywhere else.
Do you recall which airline this was? Given similar pricing, this seems like a useful differentiator that would sway my decision of which airline to pick.