Clutch Pedal Return

I’m not interested in starting a huge debate but I would really like to know why the OC spring has to be removed? I don’t have any drivability issues and the throw out bearing is not riding on the diaphragm pressure plate fingers. The clutch pedal just doesn’t come up all the way by itself when I take my foot off. I can bring it up if I lift on the underside with my toe. What am I missing here?