0300_...: add top-right hyperlinks on the navbar