After login in at github.com I usually jump to https://gitlab.ethz.ch/felix/oberon. Can the jump be automated? Add a List or Star? Create a List and add a link to it? Thx, ... P.L. -- VoIP: +1 604 670 0140 work: https://en.wikibooks.org/wiki/User:PeterEasthope