menu inconstency: contribute/docs-team/ - libraries/contribute/

[pointhi]

Just a minor issue, but contribution information is split into two different menu entries:

• contribute
  • docs-team
  • developers
• libraries
  • contribute

My proposal would be to move libraries/contribute/ into contribute/libraries/ for consistency.

[marekr]

Yea it's awkward. I don't like it. But contribute/libraries work better just because its submenu has the other library items :/