Nightly: links to github (#514).
Nightly: fix navbar links (#514).