You got most of your facts mixed up. Lynch's name proudly sits on top of the theatrical cut, the only cut he supervised. Alan Smithee is used for all other cuts, since he supervised none of those and refuses, as is his right, not to be credited for a cut he didn't watch himself.