I guess it's always been assumed that a station is not in operation if the line passing through it is marked railway=construction. How would Mount Pleasant and Marina South be handled by OSM when TEL3 opens?