A833 gearbox 4th gear doesn't work

Does this "slick shift race modification" mean that this gearbox isn't streetable (read from some forum that you have to double clutch to shift down)?

If so what to check/replace to make this gearbox drivable ?