A minor update to the old github user page.