Mola,
Toyota has been recommending the usage of 80W90; GL-5 rated gear lube in their manual transmissions for many years. To this day, they have yet to withdraw their recommendation due to shifting problems.
While I don’t disagree with you that manual transmission specific lubricants of the correct viscosity are superior to gear lubes, gear lubes are suitable for use in manual transmissions that allow the usage of a GL-5 80W90. It certainly isn’t ideal, and I doubt any damage will be caused unless there are shifting problems.