OH: OH 93 in Ironton

[aterrypenak]

The route we have as OH 93 between the Kentucky state line and US 52 is consistently signed as "To OH 93" (see https://maps.app.goo.gl/gsCnjp9kTcPF8cZJ9 https://maps.app.goo.gl/yACNeJu1PrzZvXPw8; the imagery is a little old, but I saw the same thing driving through yesterday.) I was driving northbound, so I didn't look for southbound signage, but I don't see any in Street View south of the roundabouts at US 52. (I also don't see an END sign anywhere.) Is that part of the route still OH 93, or was it truncated at some point?