Also in this commit:
* Usual navbar updates, plus some needed plugin config
  for mkdocs
* Changes to VS Code and Gitpod config involving extensions and stuff.
* Add mkdocs-git-revision-date-localized-plugin to requirements.txt

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@crew.recaptime.dev>