TSE Superfly's do use a Stevenson Lanyard. Attached is a diagram from the superfly user manual showing the installation.
I should have said they don't come with an RSL as standard. And the one in the picture above doesn't have one. TSE can add one, but it's a gnarly looking setup... (superb rigs though. I've had two. Neither had an RSL)
I just think we have more to come from this sad tale. Even if he did cut away around 1000ft and had no RSL he still should have had a reserve above his head in time. I think the comment trying to get stable before pulling his reserve may be a big factor here. Also what about a canopy transfer, risky i appreciate but at super low level its a good option...if you know what you are doing.