Let's wait a bit for a Geofabrik to refresh data. Problematic polygon is definitively fixed (https://www.openstreetmap.org/way/824134762). When I write this, Geofabrik says "Data from 2023-07-09 18:00 (UTC)" (writing this for my own reference to check later:D)