In the book "The Hudson & Manhattan Railroad Revisited" the author, Paul Carleton, has a map of the 9th Street station on page 53 showing a short section of tunnel built going east under 9th street. This tunnel is perpendicular to the tunnel under 6th Ave which ended up at the present 33rd (really 32nd) St station. Where was the 9th Street extension supposed to go?
"Welcome aboard Orange Line run 711. Travel time to downtown is 25 minutes. Next stop will be Pulaski."