>what I didn't see anywhere were homeless people or beggars

Romanian beggars are a common sight during warmer months.

In spite of the belief among many Helsinki residents that these are all "Romanian beggars", a substantial number of these Roma beggars – and in at least one summer the majority – have come from Bulgaria. Yes, some of them are from Romania, but I don’t know why Romania is the sole country ever mentioned in this context. I suppose it is an inability to distinguish between the terms romanilainen (Roma) and romanialainen (Romanian) which, despite sounding similar, are not even etymologically related.

This.

Perhaps the OP intended Romany (or the alternative Romani). [0]

It's a Wikipedia source, but it is of reasonable quality, differentiating between Romanian and Romany in matters of religion and music.

[0] https://en.wikipedia.org/wiki/Romani_people

I was just about to say, the only Romanian I've ever seen here is a good friend of mine. I've seen plenty of Roma, though (some of whom are also friends).

Romanian beggars are common all around Europe.

How much did it increase the workload and manual error rates of the reviewer for having to check multiple documents?

Posted above as well but mpv user script that works offline: https://github.com/oltodosel/interSubs

mpv is so great. It was an immense downgrade to start watching movies on my ps4 with media player, netflix, plex etc. They(mostly media player) have issues on the very basics like pausing and playing video, subtitles, continue watching etc.

With a computer running mpv and plugged into the TV everything just works and I can trivially fix common issues like subtitle/audio sync with my phone as the remote.

On-topic: mpv seems to have a similar language learning extension to OP https://github.com/oltodosel/interSubs

I've made my own mpv extension for Japanese subtitle analysis too. It can also create Anki cards automatically (with screenshot and audio).

Having a scriptable media player is really something else.

The use case of PiP is legit but I agree it doesn't make a lot of sense for the browser. However, many users do not have proper native media players that would provide the same functionality so I can see why browsers might want to implement it for the casual users.

A native media player with youtube-dl is still king for power users.