I've confirmed that new tiles have been generated for this area -- https://www.openstreetmap.org/note/2556088#map=19/51.37929/-0.02722 and hard-refresh the browser if you're still seeing old tiles. But StreetComplete uses a third party tileserver and may take longer to catch up.