x/website: doc typo, bar has 'documents' menu instead of 'documentation'

The website navigation has 'Documents' menu, please make it as 'Docs' or 'Documentation'

[ALTree]

Hi,

documents seems okay to me... I think docs would be misleading because people call "docs" the packages documentation, that is under "Packages".