On 72.0.3815.378 the problem still persists. It seems that it's being ignored even though, judging by the number of people complaining here, it must be pretty widespread.
Oh, and if the dismissive and disrespectful answers of the moderator here are in any way representing Opera as a company, that by itself should encourage many of us to switch to another solution.
I really hope that both problems would get fixed soon, and thanks to all the great people that are actually doing a great job with this browser!