Github/Gitlab nav enhance

Added link button for quick jump to personal repository list in Github/Gitlab

Per 22-03-2021. Zie de nieuwste versie.

Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.