Better CI and better search are the two things that are still missing from GitHub

GitHub had good search but it's been terrible for years now. More recently I think it's only returned results when logged in.