Refined GitHub Notifications: UI improvements for the new GitHub Notifications page | Product Hunt