After getting the transmission leaks fixed I put GL-5 oil back in it. No, that is not old-school GL-1 but the bottle said "recommended for manual transmissions". However, I've had a persistent crunchy 2nd gear shift going either up or down until the transmission got hot, then 2nd would shift smoothly. I even resurrected my long-forgotten double-clutch technique.
In the course of researching alternate oil I read up on Redline MT90. It is less "slippery" which promotes good synchronizer operation but I saw where it is recommended for high performance use with a hot transmission. For street use Redline recommends their MTL (GL-4) which is supposed to work even when cold. It has very low sulfer content so it plays nicely with brass synchronizers.
The "crunchies" are gone, even with a cold transmission. Second slides into gear very smoothly going up or down. The only downside to the Redline is the price, a little precious at nearly $20/qt. But I consider it a fine value to get a smooth-shifting transmission. I haven't used GL-1, it may work as well, but wanted to let folks know the MTL seems to be a good option for addressing notchy shifts.