Great video! Question: I was there in September 2022, just a short time before the Line 3 extension opened....is there a physical connection between Line 1 and Line 3 at Piraeus Station without having to exit the Line 1 Platforms and cross the street to the Line 3 entrance? Where would that have been?