Removing randomized Github repos from the sidebar.