Here's an interesting talk about lube for manual transmissions.
Jump to 2.28 for the start of his discussion about motor oil for manual transmissions.
https://www.youtube.com/watch?v=m_toEAYSOB0