This page redirects to its new URL: GitHub's new notifications: a case of regressive design