[Doc] Fix navigation panel version in 404.html

[slax57]

Problem

navigation.html is included relatively to the current rendered path. But 404.html is at the root, so it always includes the navigation.html file located at the root (hence the latest).

Solution

Use JS to dynamically fetch the navigation side panel and replace the html content by the one fetched. There is no way to do it statically because the current version can only be fetched from the URL, which is unavailable to Jekyll for a 404 error page.

Screenshots