Sorry I'm a little late to the game on this one, but I've had to deal with the issue of yellow metal corrosion and gear lubes at work.
The issue really isn't GL-4 vs. GL-5. Some people claim that the GL-5 gear oils attacks yellow metals, but most gear oil manufacturers now use non-active sulfur phosphorus EP (extreme pressure) additives which don't attack the yellow metals. Also, even if it is the 'old' type additive, yellow metal attack usually doesn't occur until the temperature gets to about 240F - hopefully above the temp that any of your internal gearbox components experience.
The problem with finding a gear oil for use in transmissions is finding one without Limited Slip (LS) additives. My personal experience is that the LS additives are usually what gives you problems with your synchros and causes grinding upon shifting.
So, if you can find a GL-4 or GL-5 that doesn't state that it has LS additives, then you should still be OK using it in your transmission. I have yet to find any GL-5 locally that does not contain LS additives. I used to be able to find Exxon Superflo 80W80 GL-5 without LS additives, but I believe it is no longer available.
I use CRC StaLube GL-4 85W90 gear oil in my M20.